Package net.sf.tweety.lp.asp.parser
Class ASTAriTerm
- java.lang.Object
-
- net.sf.tweety.lp.asp.parser.SimpleNode
-
- net.sf.tweety.lp.asp.parser.ASTAriTerm
-
- All Implemented Interfaces:
Node
public class ASTAriTerm extends SimpleNode
-
-
Field Summary
Fields Modifier and Type Field Description java.lang.String
op
-
Constructor Summary
Constructors Constructor Description ASTAriTerm(int id)
ASTAriTerm(ASPCore2Parser p, int id)
-
Method Summary
Modifier and Type Method Description java.lang.Object
jjtAccept(ASPCore2ParserVisitor visitor, java.lang.Object data)
Accept the visitor.void
op(java.lang.String op)
-
Methods inherited from class net.sf.tweety.lp.asp.parser.SimpleNode
childrenAccept, dump, jjtAddChild, jjtClose, jjtGetChild, jjtGetNumChildren, jjtGetParent, jjtGetValue, jjtOpen, jjtSetParent, jjtSetValue, toString, toString
-
-
-
-
Constructor Detail
-
ASTAriTerm
public ASTAriTerm(int id)
-
ASTAriTerm
public ASTAriTerm(ASPCore2Parser p, int id)
-
-
Method Detail
-
op
public void op(java.lang.String op)
-
jjtAccept
public java.lang.Object jjtAccept(ASPCore2ParserVisitor visitor, java.lang.Object data)
Accept the visitor.- Specified by:
jjtAccept
in interfaceNode
- Overrides:
jjtAccept
in classSimpleNode
-
-