Class ASTNumber

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

public class ASTNumber extends SimpleNode
  • Constructor Details

    • ASTNumber

      public ASTNumber(int id)
    • ASTNumber

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