|
||||||||||
PREV CLASS NEXT CLASS | FRAMES NO FRAMES | |||||||||
SUMMARY: NESTED | FIELD | CONSTR | METHOD | DETAIL: FIELD | CONSTR | METHOD |
java.lang.Objectkodkod.ast.Decls
kodkod.ast.Decl
public final class Decl
A variable declaration, such as 'x : lone X'. Declarations are used with quantified formulas and comprehension expressions.
variable.arity = expression.arity |
children = variable + expression |
variable: Variable |
expression: Expression |
multiplicity: LONE + ONE + SOME + SET |
Method Summary | ||
---|---|---|
|
accept(ReturnVisitor<E,F,D,I> visitor)
Accepts the given visitor and returns the result. |
|
void |
accept(VoidVisitor visitor)
Accepts the given visitor. |
|
Expression |
expression()
Returns the expression in this declaration. |
|
Multiplicity |
multiplicity()
Returns the multiplicity in this declaration. |
|
java.lang.String |
toString()
Returns the string representation of this decl. |
|
Variable |
variable()
Returns the variable in this declaration. |
Methods inherited from class kodkod.ast.Decls |
---|
and, declarations, iterator, size |
Methods inherited from class java.lang.Object |
---|
equals, getClass, hashCode, notify, notifyAll, wait, wait, wait |
Method Detail |
---|
public Variable variable()
public Multiplicity multiplicity()
public Expression expression()
public final <E,F,D,I> D accept(ReturnVisitor<E,F,D,I> visitor)
accept
in interface Node
accept
in class Decls
Node.accept(kodkod.ast.visitor.ReturnVisitor)
public void accept(VoidVisitor visitor)
accept
in interface Node
accept
in class Decls
Node.accept(kodkod.ast.visitor.VoidVisitor)
public java.lang.String toString()
toString
in class Decls
|
||||||||||
PREV CLASS NEXT CLASS | FRAMES NO FRAMES | |||||||||
SUMMARY: NESTED | FIELD | CONSTR | METHOD | DETAIL: FIELD | CONSTR | METHOD |