Class ASTOptElement

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

public class ASTOptElement extends SimpleNode
The ASTOptElement class represents a node in the abstract syntax tree (AST) for an optimization element within the context of Answer Set Programming (ASP). This class extends SimpleNode and is used by the ASP parser to handle elements involved in optimization, which may or may not have an associated level.
  • Field Details

    • hasLevel

      public boolean hasLevel
      Indicates whether this optimization element has an associated level.
  • Constructor Details

    • ASTOptElement

      public ASTOptElement(int id)
      Constructs a new ASTOptElement node with the specified identifier.
      Parameters:
      id - The node identifier.
    • ASTOptElement

      public ASTOptElement(ASPParser p, int id)
      Constructs a new ASTOptElement node with the specified parser and identifier.
      Parameters:
      p - The ASPParser that is constructing this node.
      id - The node identifier.
  • Method Details

    • hasLevel

      public void hasLevel(boolean b)
      Sets whether this optimization element has an associated level.
      Parameters:
      b - true if the optimization element has a level, false otherwise.
    • jjtAccept

      public Object jjtAccept(ASPParserVisitor visitor, Object data)
      Accepts a visitor object, which implements the ASPParserVisitor interface, and allows it to process this node in the AST.
      Specified by:
      jjtAccept in interface Node
      Overrides:
      jjtAccept in class SimpleNode
      Parameters:
      visitor - The visitor object that processes this node.
      data - Additional data that might be needed for the visitor's processing.
      Returns:
      The result of the visitor's processing, typically dependent on the visitor's implementation.