Class and Description |
---|
SummationAtomOrAtom
Either a
SummationAtom or Atom . |
Class and Description |
---|
ArithmeticRuleExpression
Container for components of an arithmetic rule formula.
|
SummationVariable
Special argument to a
Predicate in an SummationAtom . |
Class and Description |
---|
SummationAtomOrAtom
Either a
SummationAtom or Atom . |
SummationVariable
Special argument to a
Predicate in an SummationAtom . |
SummationVariableOrTerm
Either a
SummationVariable or Term . |
Class and Description |
---|
SummationVariable
Special argument to a
Predicate in an SummationAtom . |
Class and Description |
---|
SummationVariableOrTerm
Either a
SummationVariable or Term . |
Class and Description |
---|
ArithmeticRuleExpression
Container for components of an arithmetic rule formula.
|
SummationAtomOrAtom
Either a
SummationAtom or Atom . |
SummationVariable
Special argument to a
Predicate in an SummationAtom . |
Copyright © 2018 University of California, Santa Cruz. All rights reserved.