net.sf.tweety.lp.asp.parser

Class ASTArithmeticInteger

java.lang.Object

net.sf.tweety.lp.asp.parser.SimpleNode

net.sf.tweety.lp.asp.parser.ASTArithmeticInteger

All Implemented Interfaces:

Node

public class ASTArithmeticInteger
extends SimpleNode

Field Summary

Fields

Modifier and Type	Field and Description
protected java.lang.String	variableName

Fields inherited from class net.sf.tweety.lp.asp.parser.SimpleNode

children, id, parent, parser, value

Constructor Summary

Constructors

Constructor and Description
ASTArithmeticInteger(ASPParser p, int id)
ASTArithmeticInteger(int id)

Method Summary

Modifier and Type	Method and Description
java.lang.Object	jjtAccept(ASPParserVisitor visitor, java.lang.Object data) Accept the visitor.
void	setVariableName(java.lang.String variableName)

Methods inherited from class net.sf.tweety.lp.asp.parser.SimpleNode

childrenAccept, dump, jjtAddChild, jjtClose, jjtGetChild, jjtGetNumChildren, jjtGetParent, jjtGetValue, jjtOpen, jjtSetParent, jjtSetValue, toString, toString

Methods inherited from class java.lang.Object

clone, equals, finalize, getClass, hashCode, notify, notifyAll, wait, wait, wait

Field Detail

variableName

protected java.lang.String variableName

Constructor Detail

ASTArithmeticInteger

public ASTArithmeticInteger(int id)

ASTArithmeticInteger

public ASTArithmeticInteger(ASPParser p,
                            int id)

Method Detail

setVariableName

public void setVariableName(java.lang.String variableName)

jjtAccept

public java.lang.Object jjtAccept(ASPParserVisitor visitor,
                                  java.lang.Object data)

Accept the visitor.

Specified by:

jjtAccept in interface Node

Overrides:

jjtAccept in class SimpleNode