Uses of Enum
org.tweetyproject.lp.asp.syntax.ASPOperator.OptimizeFunction
Packages that use ASPOperator.OptimizeFunction
-
Uses of ASPOperator.OptimizeFunction in org.tweetyproject.lp.asp.syntax
Methods in org.tweetyproject.lp.asp.syntax that return ASPOperator.OptimizeFunctionModifier and TypeMethodDescriptionOptimizationStatement.getOptimizeFunction()
static 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.Methods in org.tweetyproject.lp.asp.syntax with parameters of type ASPOperator.OptimizeFunctionModifier and TypeMethodDescriptionvoid
OptimizationStatement.setOptimizeFunction
(ASPOperator.OptimizeFunction function) Sets the optimization function.Constructors in org.tweetyproject.lp.asp.syntax with parameters of type ASPOperator.OptimizeFunctionModifierConstructorDescriptionCreates 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.