Uses of Class
org.tweetyproject.lp.asp.syntax.OptimizationElement
-
Packages that use OptimizationElement Package Description org.tweetyproject.lp.asp.parser org.tweetyproject.lp.asp.syntax -
-
Uses of OptimizationElement in org.tweetyproject.lp.asp.parser
Methods in org.tweetyproject.lp.asp.parser that return OptimizationElement Modifier and Type Method Description OptimizationElement
InstantiateVisitor. visit(ASTOptElement node, java.lang.Object data)
Methods in org.tweetyproject.lp.asp.parser that return types with arguments of type OptimizationElement Modifier and Type Method Description java.util.List<OptimizationElement>
InstantiateVisitor. visit(ASTOptElementList node, java.lang.Object data)
-
Uses of OptimizationElement in org.tweetyproject.lp.asp.syntax
Methods in org.tweetyproject.lp.asp.syntax that return OptimizationElement Modifier and Type Method Description OptimizationElement
OptimizationElement. substitute(Term<?> t, Term<?> v)
Method parameters in org.tweetyproject.lp.asp.syntax with type arguments of type OptimizationElement Modifier and Type Method Description void
OptimizationStatement. setElements(java.util.List<OptimizationElement> elements)
Sets the optimization elements.Constructors in org.tweetyproject.lp.asp.syntax with parameters of type OptimizationElement Constructor Description OptimizationStatement(ASPOperator.OptimizeFunction function, OptimizationElement element)
Creates a new OptimizatonStatement with the given function and single term-literal tuple.Constructor parameters in org.tweetyproject.lp.asp.syntax with type arguments of type OptimizationElement Constructor Description 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).
-