Uses of Class
org.tweetyproject.math.equation.Statement
-
-
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 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 org.tweetyproject.logics.rpcl.semantics
-
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(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 org.tweetyproject.math.opt.problem
Constructor parameters in org.tweetyproject.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 org.tweetyproject.math.opt.solver
Method parameters in org.tweetyproject.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)
-