Uses of Class
org.tweetyproject.lp.asp.syntax.OptimizationStatement
-
Uses of OptimizationStatement in org.tweetyproject.lp.asp.syntax
Modifier and TypeMethodDescriptionOptimizationStatement.clone()
OptimizationStatement.substitute(Term<?> t, Term<?> v)
ModifierConstructorDescriptionASPRule(OptimizationStatement opt)
Creates a new rule with the given optimization statement.