|
||||||||||
PREV CLASS NEXT CLASS | FRAMES NO FRAMES | |||||||||
SUMMARY: NESTED | FIELD | CONSTR | METHOD | DETAIL: FIELD | CONSTR | METHOD |
java.lang.Object fmrisc.Syntax.ASTBase fmrisc.Syntax.ExpressionBase fmrisc.Syntax.QuantifiedExpression fmrisc.Syntax.ArrayTerm
public final class ArrayTerm
Handling of array terms.
Constructor Summary | |
---|---|
ArrayTerm(TypedIdentifier[] variables,
Expression base)
construct array term of variables and base term |
Method Summary | |
---|---|
QuantifiedExpression |
construct(TypedIdentifier[] variables,
Expression base)
Construct quantified expression. |
Methods inherited from class fmrisc.Syntax.QuantifiedExpression |
---|
accept, getBase, getPriority, getVariables, instantiate, printCore, substitution |
Methods inherited from class fmrisc.Syntax.ExpressionBase |
---|
printPriority |
Methods inherited from class fmrisc.Syntax.ASTBase |
---|
print, printParens, toString |
Methods inherited from class java.lang.Object |
---|
equals, getClass, hashCode, notify, notifyAll, wait, wait, wait |
Methods inherited from interface fmrisc.Syntax.AST |
---|
print, printParens, toString |
Constructor Detail |
---|
public ArrayTerm(TypedIdentifier[] variables, Expression base)
variables
- the quantified variablesbase
- the base termMethod Detail |
---|
public QuantifiedExpression construct(TypedIdentifier[] variables, Expression base)
construct
in class QuantifiedExpression
variables
- typed variables.base
- an expression.
|
||||||||||
PREV CLASS NEXT CLASS | FRAMES NO FRAMES | |||||||||
SUMMARY: NESTED | FIELD | CONSTR | METHOD | DETAIL: FIELD | CONSTR | METHOD |