Uses of Class
org.tweetyproject.math.equation.Statement

Packages that use Statement

Package	Description
org.tweetyproject.arg.prob.semantics
org.tweetyproject.logics.rpcl.semantics
org.tweetyproject.math.equation
org.tweetyproject.math.opt.problem
org.tweetyproject.math.opt.solver

Uses of Statement in org.tweetyproject.arg.prob.semantics

Methods in org.tweetyproject.arg.prob.semantics that return types with arguments of type Statement

Modifier and Type	Method	Description
abstract Collection<Statement>	AbstractPASemantics.getSatisfactionStatements(DungTheory theory, Map<Collection<Argument>,FloatVariable> worlds2vars)
Collection<Statement>	CoherentPASemantics.getSatisfactionStatements(DungTheory theory, Map<Collection<Argument>,FloatVariable> worlds2vars)
Collection<Statement>	FoundedPASemantics.getSatisfactionStatements(DungTheory theory, Map<Collection<Argument>,FloatVariable> worlds2vars)
Collection<Statement>	InvolutaryPASemantics.getSatisfactionStatements(DungTheory theory, Map<Collection<Argument>,FloatVariable> worlds2vars)
Collection<Statement>	JustifiablePASemantics.getSatisfactionStatements(DungTheory theory, Map<Collection<Argument>,FloatVariable> worlds2vars)
Collection<Statement>	NeutralPASemantics.getSatisfactionStatements(DungTheory theory, Map<Collection<Argument>,FloatVariable> worlds2vars)
Collection<Statement>	OptimisticPASemantics.getSatisfactionStatements(DungTheory theory, Map<Collection<Argument>,FloatVariable> worlds2vars)
Collection<Statement>	PASemantics.getSatisfactionStatements(DungTheory theory, Map<Collection<Argument>,FloatVariable> worlds2vars)	Returns the mathematical statement corresponding to the satisfaction of the given theory wrt.
Collection<Statement>	RationalPASemantics.getSatisfactionStatements(DungTheory theory, Map<Collection<Argument>,FloatVariable> worlds2vars)
Collection<Statement>	SemiFoundedPASemantics.getSatisfactionStatements(DungTheory theory, Map<Collection<Argument>,FloatVariable> worlds2vars)
Collection<Statement>	SemiOptimisticPASemantics.getSatisfactionStatements(DungTheory theory, Map<Collection<Argument>,FloatVariable> worlds2vars)

Uses of Statement in org.tweetyproject.logics.rpcl.semantics

Methods in org.tweetyproject.logics.rpcl.semantics that return Statement

Modifier and Type	Method	Description
abstract Statement	AbstractRpclSemantics.getSatisfactionStatement(RelationalProbabilisticConditional r, FolSignature signature, Map<Interpretation<FolBeliefSet,FolFormula>,FloatVariable> worlds2vars)
Statement	AggregatingSemantics.getSatisfactionStatement(RelationalProbabilisticConditional r, FolSignature signature, Map<Interpretation<FolBeliefSet,FolFormula>,FloatVariable> worlds2vars)
Statement	AveragingSemantics.getSatisfactionStatement(RelationalProbabilisticConditional r, FolSignature signature, Map<Interpretation<FolBeliefSet,FolFormula>,FloatVariable> worlds2vars)
Statement	RpclSemantics.getSatisfactionStatement(RelationalProbabilisticConditional r, FolSignature signature, Map<Interpretation<FolBeliefSet,FolFormula>,FloatVariable> worlds2vars)	Returns the mathematical statement corresponding to the satisfaction of the given conditional wrt.

Uses of Statement in org.tweetyproject.math.equation

Subclasses of Statement in org.tweetyproject.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 org.tweetyproject.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.

Methods in org.tweetyproject.math.equation with parameters of type Statement

Modifier and Type	Method	Description
boolean	Equation.isValid(Statement s)
boolean	Inequation.isValid(Statement s)
abstract boolean	Statement.isValid(Statement s)	checks if a Statement fulfills the relation

Uses of Statement in org.tweetyproject.math.opt.problem

Constructor parameters in org.tweetyproject.math.opt.problem with type arguments of type Statement

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

Uses of Statement in org.tweetyproject.math.opt.solver

Methods in org.tweetyproject.math.opt.solver with parameters of type Statement

Modifier and Type	Method	Description
void	GurobiOptimizer.addStatementToGurobi(Statement s, Integer i)	parses a statement into a gurobi constrant and adds it to the model

Method parameters in org.tweetyproject.math.opt.solver with type arguments of type Statement

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