Package org.tweetyproject.lp.asp.parser

Class ASTOpt

java.lang.Object

org.tweetyproject.lp.asp.parser.SimpleNode

org.tweetyproject.lp.asp.parser.ASTOpt

All Implemented Interfaces:

Node

public class ASTOpt
extends SimpleNode

The ASTOpt class represents a node in the abstract syntax tree (AST) for optimization statements within the context of Answer Set Programming (ASP). This class extends SimpleNode and is used by the ASP parser to handle optimization directives, such as maximizing or minimizing a function.

Field Summary

Fields

Modifier and Type	Field	Description
boolean	maximize	Indicates whether the optimization is for maximizing.

Constructor Summary

Constructors

Constructor	Description
ASTOpt(int id)	Constructs a new ASTOpt node with the specified identifier.
ASTOpt(ASPParser p, int id)	Constructs a new ASTOpt node with the specified parser and identifier.

Method Summary

Modifier and Type	Method	Description
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.
void	maximize(boolean b)	Sets the optimization directive to either maximize or minimize.

Methods inherited from class org.tweetyproject.lp.asp.parser.SimpleNode

childrenAccept, dump, jjtAddChild, jjtClose, jjtGetChild, jjtGetNumChildren, jjtGetParent, jjtGetValue, jjtOpen, jjtSetParent, jjtSetValue, toString, toString

Methods inherited from class java.lang.Object

equals, getClass, hashCode, notify, notifyAll, wait, wait, wait

Field Details

maximize

public boolean maximize

Indicates whether the optimization is for maximizing. If true, the optimization goal is to maximize; if false, the goal is to minimize.

Constructor Details

ASTOpt

public ASTOpt(int id)

Constructs a new ASTOpt node with the specified identifier.

Parameters:

id - The node identifier.

ASTOpt

public ASTOpt(ASPParser p,
 int id)

Constructs a new ASTOpt node with the specified parser and identifier.

Parameters:

p - The ASPParser that is constructing this node.

id - The node identifier.

Method Details

maximize

public void maximize(boolean b)

Sets the optimization directive to either maximize or minimize.

Parameters:

b - true to set the optimization goal to maximize, false to minimize.

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.