Uses of Class
net.sf.tweety.math.equation.Statement
-
-
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.cl.reasoner
Methods in net.sf.tweety.logics.cl.reasoner that return Statement Modifier and Type Method Description private Statement
CReasoner. getAcceptanceConstraint(Conditional cond, java.util.Map<PossibleWorld,IntegerVariable> ranks)
For the given conditional (B|A) and the given ranks of possible worlds, this method constructs the inequation k(AB) < k(A-B) where k(AB) is the minimum of the ranks of the interpretations that satisfy AB.private Statement
CReasoner. getRankConstraint(PossibleWorld w, IntegerVariable ranki, java.util.Map<Conditional,IntegerVariable> kappa_pos, java.util.Map<Conditional,IntegerVariable> kappa_neg)
For the given interpretation "i" and the given kappas, this method computes the constraint
k("i")=\sum_{"i" verifies ri} ki+ + \sum_{"i" falsifies ri} kj- -
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
Constructor parameters in net.sf.tweety.math.opt 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
Fields in net.sf.tweety.math.opt.solver with type parameters of type Statement Modifier and Type Field Description private java.util.Map<Statement,java.lang.Double>
LagrangeSolver. startingPointsLMult
possible starting points for Lagrange multiplicators.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)
-