public class ASTSymbolicSet extends SimpleNode
Modifier and Type | Field and Description |
---|---|
protected java.util.List<Variable> |
variables |
Constructor and Description |
---|
ASTSymbolicSet(ASPParser p,
int id) |
ASTSymbolicSet(int id) |
Modifier and Type | Method and Description |
---|---|
void |
addVariable(java.lang.String name) |
java.lang.Object |
jjtAccept(ASPParserVisitor visitor,
java.lang.Object data)
Accept the visitor.
|
childrenAccept, dump, jjtAddChild, jjtClose, jjtGetChild, jjtGetNumChildren, jjtGetParent, jjtGetValue, jjtOpen, jjtSetParent, jjtSetValue, toString, toString
protected java.util.List<Variable> variables
public ASTSymbolicSet(int id)
public ASTSymbolicSet(ASPParser p, int id)
public void addVariable(java.lang.String name)
public java.lang.Object jjtAccept(ASPParserVisitor visitor, java.lang.Object data)
jjtAccept
in interface Node
jjtAccept
in class SimpleNode