Class JJTASPParserState

java.lang.Object
org.tweetyproject.lp.asp.parser.JJTASPParserState

public class JJTASPParserState extends Object
  • Constructor Details

    • JJTASPParserState

      public JJTASPParserState()
  • Method Details

    • nodeCreated

      public boolean nodeCreated()
    • reset

      public void reset()
    • rootNode

      public Node rootNode()
    • pushNode

      public void pushNode(Node n)
    • popNode

      public Node popNode()
    • peekNode

      public Node peekNode()
    • nodeArity

      public int nodeArity()
    • clearNodeScope

      public void clearNodeScope(Node n)
    • openNodeScope

      public void openNodeScope(Node n)
    • closeNodeScope

      public void closeNodeScope(Node n, int num)
    • closeNodeScope

      public void closeNodeScope(Node n, boolean condition)