Package org.xcsp.parser.entries
Class XObjectives.OObjectiveExpr
- java.lang.Object
-
- org.xcsp.parser.entries.ParsingEntry
-
- org.xcsp.parser.entries.ParsingEntry.OEntry
-
- org.xcsp.parser.entries.XObjectives.XObj
-
- org.xcsp.parser.entries.XObjectives.OObjectiveExpr
-
- Enclosing class:
- XObjectives
public static final class XObjectives.OObjectiveExpr extends XObjectives.XObj
The class for representing objectives defined from functional expressions (can just be a variable).
-
-
Nested Class Summary
-
Nested classes/interfaces inherited from class org.xcsp.parser.entries.ParsingEntry
ParsingEntry.CEntry, ParsingEntry.OEntry, ParsingEntry.VEntry
-
-
Field Summary
Fields Modifier and Type Field Description XNode<? extends XVariables.XVar>
rootNode
-
Fields inherited from class org.xcsp.parser.entries.ParsingEntry.OEntry
minimize, type
-
Fields inherited from class org.xcsp.parser.entries.ParsingEntry
attributes, classes, flags, id, note
-
-
Constructor Summary
Constructors Constructor Description OObjectiveExpr(boolean minimize, Types.TypeObjective type, XNode<? extends XVariables.XVar> rootNode)
Builds an objective from the specified functional expression (given by the root of a syntactic tree).
-
Method Summary
All Methods Instance Methods Concrete Methods Modifier and Type Method Description String
toString()
XVariables.XVar[]
vars()
-
Methods inherited from class org.xcsp.parser.entries.ParsingEntry.OEntry
getType
-
Methods inherited from class org.xcsp.parser.entries.ParsingEntry
copyAttributesOf, getAttributeValue, getAttributeValue, getAttributeValue
-
-
-
-
Field Detail
-
rootNode
public final XNode<? extends XVariables.XVar> rootNode
-
-
Constructor Detail
-
OObjectiveExpr
public OObjectiveExpr(boolean minimize, Types.TypeObjective type, XNode<? extends XVariables.XVar> rootNode)
Builds an objective from the specified functional expression (given by the root of a syntactic tree).
-
-
Method Detail
-
vars
public XVariables.XVar[] vars()
- Specified by:
vars
in classParsingEntry.OEntry
-
toString
public String toString()
- Overrides:
toString
in classParsingEntry.OEntry
-
-