public final class LetFormula extends LetExpression implements Formula
inKeyword, letKeyword, precedence
Modifier and Type | Method and Description |
---|---|
void |
accept(ASTVisitor visitor)
Accept visitor for a visit.
|
static LetFormula |
construct(ValueDefinition[] d,
Formula b)
Construct formula with local value definitions.
|
Formula |
getBody()
Get body.
|
ValueDefinition[] |
getDefinitions()
Get definitions.
|
accept, acceptChildren, getPrecedence
getPosition, isLeftAssociative, isRightAssociative, setPosition
accept, accept, print, printCore, toString, toStringCore
equals, getClass, hashCode, notify, notifyAll, wait, wait, wait
getPrecedence, isLeftAssociative, isRightAssociative
getPosition, setPosition
accept, acceptChildren, print, printCore, toString, toStringCore
public static LetFormula construct(ValueDefinition[] d, Formula b)
d
- the definitions.b
- the body of the formula.public ValueDefinition[] getDefinitions()
getDefinitions
in class LetExpression
public Formula getBody()
getBody
in class LetExpression
public void accept(ASTVisitor visitor)
accept
in interface AST
accept
in class LetExpression
visitor
- the visitor who is accepted by this node.