net.sf.tweety.lp.asp.parser

Class ASTSymbolicSet

java.lang.Object

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

net.sf.tweety.lp.asp.parser.ASTSymbolicSet

All Implemented Interfaces:

Node

public class ASTSymbolicSet
extends SimpleNode

Field Summary

Fields

Modifier and Type	Field and Description
protected List<net.sf.tweety.logics.commons.syntax.Variable>	variables

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

children, id, parent, parser, value

Constructor Summary

Constructors

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

Method Summary

Modifier and Type	Method and Description
void	addVariable(String name)
Object	jjtAccept(ASPParserVisitor visitor, Object data) Accept the visitor.

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

variables

protected List<net.sf.tweety.logics.commons.syntax.Variable> variables

Constructor Detail

ASTSymbolicSet

public ASTSymbolicSet(int id)

ASTSymbolicSet

public ASTSymbolicSet(ASPParser p,
                      int id)

Method Detail

addVariable

public void addVariable(String name)

jjtAccept

public Object jjtAccept(ASPParserVisitor visitor,
                        Object data)

Accept the visitor.

Specified by:

jjtAccept in interface Node

Overrides:

jjtAccept in class SimpleNode