Uses of Class
org.tweetyproject.lp.asp.syntax.OptimizationStatement

Packages that use OptimizationStatement

Package	Description
org.tweetyproject.lp.asp.syntax

Uses of OptimizationStatement in org.tweetyproject.lp.asp.syntax

Methods in org.tweetyproject.lp.asp.syntax that return OptimizationStatement

Modifier and Type	Method	Description
OptimizationStatement	OptimizationStatement.clone()
OptimizationStatement	OptimizationStatement.substitute(Term<?> t, Term<?> v)

Constructors in org.tweetyproject.lp.asp.syntax with parameters of type OptimizationStatement

Modifier	Constructor	Description
	ASPRule(OptimizationStatement opt)	Creates a new rule with the given optimization statement.