Uses of Enum
org.tweetyproject.lp.asp.syntax.ASPOperator.OptimizeFunction
-
Uses of ASPOperator.OptimizeFunction in org.tweetyproject.lp.asp.syntax
Modifier and TypeMethodDescriptionOptimizationStatement.getOptimizeFunction()
Return the optimize function of this optimization statementstatic ASPOperator.OptimizeFunction
Returns the enum constant of this type with the specified name.static ASPOperator.OptimizeFunction[]
ASPOperator.OptimizeFunction.values()
Returns an array containing the constants of this enum type, in the order they are declared.Modifier and TypeMethodDescriptionvoid
OptimizationStatement.setOptimizeFunction
(ASPOperator.OptimizeFunction function) Sets the optimization function.ModifierConstructorDescriptionCreates a new empty OptimizatonStatement with the given function.OptimizationStatement
(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).OptimizationStatement
(ASPOperator.OptimizeFunction function, Term<?> weight, int priority, List<Term<?>> terms, List<ASPBodyElement> literals) Creates a new OptimizatonStatement with the given function, weight, priority and single term-literal tuple.OptimizationStatement
(ASPOperator.OptimizeFunction function, Term<?> weight, List<Term<?>> terms, List<ASPBodyElement> literals) Creates a new OptimizatonStatement with the given function, weight and single term-literal tuple.OptimizationStatement
(ASPOperator.OptimizeFunction function, OptimizationElement element) Creates a new OptimizatonStatement with the given function and single term-literal tuple.