Uses of Class
net.sf.tweety.math.equation.Statement

Packages that use Statement

Package	Description
net.sf.tweety.math.equation
net.sf.tweety.math.opt
net.sf.tweety.math.opt.solver

Uses of Statement in net.sf.tweety.math.equation

Subclasses of Statement in net.sf.tweety.math.equation

Modifier and Type	Class	Description
class	Equation	This class represent an equation of two terms.
class	Inequation	This class models an inequation of two terms.

Methods in net.sf.tweety.math.equation that return Statement

Modifier and Type	Method	Description
Statement	Statement.replaceAllTerms(Map<? extends Term,? extends Term> substitutes)	Replaces terms according to the given map.
Statement	Equation.replaceTerm(Term toSubstitute, Term substitution)
Statement	Inequation.replaceTerm(Term toSubstitute, Term substitution)
abstract Statement	Statement.replaceTerm(Term toSubstitute, Term substitution)	Replaces each occurrence of "toSubstitute" by "substitution" and return the new statement.
Statement	Equation.toLinearForm()
Statement	Inequation.toLinearForm()
abstract Statement	Statement.toLinearForm()	Brings both terms into linear form.
Statement	Equation.toNormalizedForm()
Statement	Inequation.toNormalizedForm()
abstract Statement	Statement.toNormalizedForm()	Normalizes this constraint, i.e.

Uses of Statement in net.sf.tweety.math.opt

Constructor parameters in net.sf.tweety.math.opt with type arguments of type Statement

Constructor	Description
ConstraintSatisfactionProblem(Collection<? extends Statement> statements)	Creates a new csp with the given statements

Uses of Statement in net.sf.tweety.math.opt.solver

Method parameters in net.sf.tweety.math.opt.solver with type arguments of type Statement

Modifier and Type	Method	Description
void	LagrangeSolver.setStartingPointsLMult(Map<Statement,Double> startingPointsLMult)