net.sf.tweety.lp.asp.parser

Class ASTDefAtom

java.lang.Object

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

net.sf.tweety.lp.asp.parser.ASTDefAtom

All Implemented Interfaces:

Node

public class ASTDefAtom
extends SimpleNode

Field Summary

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

children, id, parent, parser, value

Constructor Summary

Constructors

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

Method Summary

Modifier and Type	Method and Description
Object	jjtAccept(ASPParserVisitor visitor, Object data) Accept the visitor.
void	setDefNeg(boolean defNeg)

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

Constructor Detail

ASTDefAtom

public ASTDefAtom(int id)

ASTDefAtom

public ASTDefAtom(ASPParser p,
                  int id)

Method Detail

setDefNeg

public void setDefNeg(boolean defNeg)

jjtAccept

public Object jjtAccept(ASPParserVisitor visitor,
                        Object data)

Accept the visitor.

Specified by:

jjtAccept in interface Node

Overrides:

jjtAccept in class SimpleNode