Uses of Class
org.tweetyproject.lp.asp.syntax.OptimizationElement
-
Uses of OptimizationElement in org.tweetyproject.lp.asp.parser
-
Uses of OptimizationElement in org.tweetyproject.lp.asp.syntax
Modifier and TypeMethodDescriptionOptimizationStatement.getElements()
Return the optimization elements of this optimization statementModifier and TypeMethodDescriptionvoid
OptimizationStatement.setElements
(List<OptimizationElement> elements) Sets the optimization elements of this optimization statement.ModifierConstructorDescriptionOptimizationStatement
(ASPOperator.OptimizeFunction function, OptimizationElement element) Creates a new OptimizatonStatement with the given function and single term-literal tuple.ModifierConstructorDescriptionOptimizationStatement
(ASPOperator.OptimizeFunction function, List<OptimizationElement> optElements) Creates a new empty OptimizatonStatement with the given function and the given optimization elements (term-literal tuples with weight and priority).