Package org.tweetyproject.lp.asp.parser

Class ASTWeight

java.lang.Object

org.tweetyproject.lp.asp.parser.SimpleNode

org.tweetyproject.lp.asp.parser.ASTWeight

All Implemented Interfaces:

Node

public class ASTWeight
extends SimpleNode

Constructor Summary

Constructors

Constructor	Description
ASTWeight(int id)
ASTWeight(ASPCore2Parser p, int id)

Method Summary

Modifier and Type	Method	Description
void	hasLevel(boolean b)
java.lang.Object	jjtAccept(ASPCore2ParserVisitor visitor, java.lang.Object data)	Accept the visitor.

Methods inherited from class org.tweetyproject.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

ASTWeight

public ASTWeight(int id)

ASTWeight

public ASTWeight(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

hasLevel

public void hasLevel(boolean b)