Uses of Class
net.sf.tweety.math.equation.Statement
-
Packages that use Statement Package Description net.sf.tweety.arg.prob.semantics net.sf.tweety.logics.rpcl.semantics net.sf.tweety.math.equation net.sf.tweety.math.opt.problem net.sf.tweety.math.opt.solver -
-
Uses of Statement in net.sf.tweety.arg.prob.semantics
Methods in net.sf.tweety.arg.prob.semantics that return types with arguments of type Statement Modifier and Type Method Description abstract java.util.Collection<Statement>
AbstractPASemantics. getSatisfactionStatements(DungTheory theory, java.util.Map<java.util.Collection<Argument>,FloatVariable> worlds2vars)
java.util.Collection<Statement>
CoherentPASemantics. getSatisfactionStatements(DungTheory theory, java.util.Map<java.util.Collection<Argument>,FloatVariable> worlds2vars)
java.util.Collection<Statement>
FoundedPASemantics. getSatisfactionStatements(DungTheory theory, java.util.Map<java.util.Collection<Argument>,FloatVariable> worlds2vars)
java.util.Collection<Statement>
InvolutaryPASemantics. getSatisfactionStatements(DungTheory theory, java.util.Map<java.util.Collection<Argument>,FloatVariable> worlds2vars)
java.util.Collection<Statement>
JustifiablePASemantics. getSatisfactionStatements(DungTheory theory, java.util.Map<java.util.Collection<Argument>,FloatVariable> worlds2vars)
java.util.Collection<Statement>
NeutralPASemantics. getSatisfactionStatements(DungTheory theory, java.util.Map<java.util.Collection<Argument>,FloatVariable> worlds2vars)
java.util.Collection<Statement>
OptimisticPASemantics. getSatisfactionStatements(DungTheory theory, java.util.Map<java.util.Collection<Argument>,FloatVariable> worlds2vars)
java.util.Collection<Statement>
PASemantics. getSatisfactionStatements(DungTheory theory, java.util.Map<java.util.Collection<Argument>,FloatVariable> worlds2vars)
Returns the mathematical statement corresponding to the satisfaction of the given theory wrt.java.util.Collection<Statement>
RationalPASemantics. getSatisfactionStatements(DungTheory theory, java.util.Map<java.util.Collection<Argument>,FloatVariable> worlds2vars)
java.util.Collection<Statement>
SemiFoundedPASemantics. getSatisfactionStatements(DungTheory theory, java.util.Map<java.util.Collection<Argument>,FloatVariable> worlds2vars)
java.util.Collection<Statement>
SemiOptimisticPASemantics. getSatisfactionStatements(DungTheory theory, java.util.Map<java.util.Collection<Argument>,FloatVariable> worlds2vars)
-
Uses of Statement in net.sf.tweety.logics.rpcl.semantics
-
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(java.util.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.problem
Constructor parameters in net.sf.tweety.math.opt.problem with type arguments of type Statement Constructor Description ConstraintSatisfactionProblem(java.util.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(java.util.Map<Statement,java.lang.Double> startingPointsLMult)
-