Package net.sf.tweety.lp.asp.parser

Class ASTNAFLiteral

java.lang.Object

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

net.sf.tweety.lp.asp.parser.ASTNAFLiteral

All Implemented Interfaces:

Node

public class ASTNAFLiteral
extends SimpleNode

Constructor Summary

Constructors

Constructor	Description
ASTNAFLiteral(int id)
ASTNAFLiteral(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	nafneg(boolean b)

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

equals, getClass, hashCode, notify, notifyAll, wait, wait, wait

Constructor Detail

ASTNAFLiteral

public ASTNAFLiteral(int id)

ASTNAFLiteral

public ASTNAFLiteral(ASPCore2Parser p,
                     int id)

Method Detail

jjtAccept

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

Accept the visitor.

Specified by:

jjtAccept in interface Node

Overrides:

jjtAccept in class SimpleNode

nafneg

public void nafneg(boolean b)