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

Modifier and Type	Field and Description
(package private) boolean	defNeg

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
java.lang.Object	jjtAccept(ASPParserVisitor visitor, java.lang.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

Field Detail

defNeg

boolean defNeg

Constructor Detail

ASTDefAtom

public ASTDefAtom(int id)

ASTDefAtom

public ASTDefAtom(ASPParser p,
                  int id)

Method Detail

setDefNeg

public void setDefNeg(boolean defNeg)

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