public class SummationVariable extends Object implements SummationVariableOrTerm
Predicate
in an SummationAtom
.
It is a placeholder for constants that are allowed to vary in a summation.
Note that SummationVariable is not a subclass of Variable.Constructor and Description |
---|
SummationVariable(String name) |
public SummationVariable(String name)
Copyright © 2020 University of California, Santa Cruz. All rights reserved.