Interface | Description |
---|---|
SummationAtomOrAtom |
Either a
SummationAtom or Atom . |
SummationVariableOrTerm |
Either a
SummationVariable or Term . |
Class | Description |
---|---|
ArithmeticRuleExpression |
Container for components of an arithmetic rule formula.
|
SummationAtom |
A variant of an
Atom that can additionally take SummationVariables
as arguments. |
SummationVariable |
Special argument to a
Predicate in an SummationAtom . |
Copyright © 2018 University of California, Santa Cruz. All rights reserved.