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 © 2018 University of California, Santa Cruz. All rights reserved.