Uses of Class
org.tweetyproject.lp.asp.syntax.ASPOperator.OptimizeFunction
-
Packages that use ASPOperator.OptimizeFunction Package Description org.tweetyproject.lp.asp.syntax -
-
Uses of ASPOperator.OptimizeFunction in org.tweetyproject.lp.asp.syntax
Methods in org.tweetyproject.lp.asp.syntax that return ASPOperator.OptimizeFunction Modifier and Type Method Description static ASPOperator.OptimizeFunction
ASPOperator.OptimizeFunction. valueOf(java.lang.String name)
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.OptimizeFunction Modifier and Type Method Description void
OptimizationStatement. setOptimizeFunction(ASPOperator.OptimizeFunction function)
Sets the optimization function.Constructors in org.tweetyproject.lp.asp.syntax with parameters of type ASPOperator.OptimizeFunction Constructor Description OptimizationStatement(ASPOperator.OptimizeFunction function)
Creates a new empty OptimizatonStatement with the given function.OptimizationStatement(ASPOperator.OptimizeFunction function, java.util.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, java.util.List<Term<?>> terms, java.util.List<ASPBodyElement> literals)
Creates a new OptimizatonStatement with the given function, weight, priority and single term-literal tuple.OptimizationStatement(ASPOperator.OptimizeFunction function, Term<?> weight, java.util.List<Term<?>> terms, java.util.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.
-