Class ASTNAFLiteral

java.lang.Object
org.tweetyproject.lp.asp.parser.SimpleNode
org.tweetyproject.lp.asp.parser.ASTNAFLiteral
All Implemented Interfaces:
Node

public class ASTNAFLiteral extends SimpleNode
  • Constructor Details

    • ASTNAFLiteral

      public ASTNAFLiteral(int id)
    • ASTNAFLiteral

      public ASTNAFLiteral(ASPParser p, int id)
  • Method Details

    • jjtAccept

      public Object jjtAccept(ASPParserVisitor visitor, Object data)
      Accept the visitor.
      Specified by:
      jjtAccept in interface Node
      Overrides:
      jjtAccept in class SimpleNode
      Parameters:
      visitor - parser visitor
      data - object
      Returns:
      a new object
    • nafneg

      public void nafneg(boolean b)