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 individuals
`private java.util.Map<FloatVariable,Term>`	SimpleGeneticOptimizationSolver.`mutate(java.util.Map<FloatVariable,Term> ind)`	Mutates the given individual

Method 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 individuals
`private java.util.Map<FloatVariable,Term>`	SimpleGeneticOptimizationSolver.`mutate(java.util.Map<FloatVariable,Term> ind)`	Mutates the given individual