Uses of Class
net.sf.tweety.math.term.FloatVariable
-
Packages that use FloatVariable Package Description net.sf.tweety.arg.prob.dynamics net.sf.tweety.arg.prob.semantics net.sf.tweety.logics.rpcl.semantics net.sf.tweety.math.opt.solver -
-
Uses of FloatVariable in net.sf.tweety.arg.prob.dynamics
Method parameters in net.sf.tweety.arg.prob.dynamics with type arguments of type FloatVariable Modifier and Type Method Description protected void
AbstractPAChangeOperator. prepareOptimizationProblem(PartialProbabilityAssignment ppa, DungTheory theory, OptimizationProblem problem, java.util.Map<java.util.Collection<Argument>,FloatVariable> varsComp, java.util.Map<java.util.Collection<Argument>,FloatVariable> varsSem, java.util.Vector<Term> varsCompVector, java.util.Vector<Term> varsSemVector)
-
Uses of FloatVariable in net.sf.tweety.arg.prob.semantics
Method parameters in net.sf.tweety.arg.prob.semantics with type arguments of type FloatVariable 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)
protected Term
AbstractPASemantics. probabilityTerm(Argument arg, java.util.Map<java.util.Collection<Argument>,FloatVariable> worlds2vars)
Constructs the term expressing the probability of the given argument wrt. -
Uses of FloatVariable in net.sf.tweety.logics.rpcl.semantics
Method parameters in net.sf.tweety.logics.rpcl.semantics with type arguments of type FloatVariable Modifier and Type Method Description abstract Statement
AbstractRpclSemantics. getSatisfactionStatement(RelationalProbabilisticConditional r, FolSignature signature, java.util.Map<Interpretation<FolBeliefSet,FolFormula>,FloatVariable> worlds2vars)
Statement
AggregatingSemantics. getSatisfactionStatement(RelationalProbabilisticConditional r, FolSignature signature, java.util.Map<Interpretation<FolBeliefSet,FolFormula>,FloatVariable> worlds2vars)
Statement
AveragingSemantics. getSatisfactionStatement(RelationalProbabilisticConditional r, FolSignature signature, java.util.Map<Interpretation<FolBeliefSet,FolFormula>,FloatVariable> worlds2vars)
Statement
RpclSemantics. getSatisfactionStatement(RelationalProbabilisticConditional r, FolSignature signature, java.util.Map<Interpretation<FolBeliefSet,FolFormula>,FloatVariable> worlds2vars)
Returns the mathematical statement corresponding to the satisfaction of the given conditional wrt.protected Term
AbstractRpclSemantics. probabilityTerm(FolFormula f, java.util.Map<Interpretation<FolBeliefSet,FolFormula>,FloatVariable> worlds2vars)
Constructs the term expressing the probability of the given formula "f" wrt. -
Uses of FloatVariable in net.sf.tweety.math.opt.solver
Methods in net.sf.tweety.math.opt.solver that return types with arguments of type FloatVariable Modifier and Type Method Description private java.util.Map<FloatVariable,Term>
SimpleGeneticOptimizationSolver. crossover(java.util.Map<FloatVariable,Term> ind1, java.util.Map<FloatVariable,Term> ind2)
Makes a crossover of the two individualsprivate java.util.Map<FloatVariable,Term>
SimpleGeneticOptimizationSolver. mutate(java.util.Map<FloatVariable,Term> ind)
Mutates the given individualMethod parameters in net.sf.tweety.math.opt.solver with type arguments of type FloatVariable Modifier and Type Method Description int
SimpleGeneticOptimizationSolver.FitnessComparator. compare(java.util.Map<FloatVariable,Term> arg0, java.util.Map<FloatVariable,Term> arg1)
private java.util.Map<FloatVariable,Term>
SimpleGeneticOptimizationSolver. crossover(java.util.Map<FloatVariable,Term> ind1, java.util.Map<FloatVariable,Term> ind2)
Makes a crossover of the two individualsprivate java.util.Map<FloatVariable,Term>
SimpleGeneticOptimizationSolver. mutate(java.util.Map<FloatVariable,Term> ind)
Mutates the given individual
-