Class ASTDlvArithmeticID

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

public class ASTDlvArithmeticID extends SimpleNode
  • Constructor Details

    • ASTDlvArithmeticID

      public ASTDlvArithmeticID(int id)
    • ASTDlvArithmeticID

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