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 and 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)
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 and Description
java.util.Collection<Statement>	SemiOptimisticPASemantics.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>	RationalPASemantics.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>	OptimisticPASemantics.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>	JustifiablePASemantics.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>	FoundedPASemantics.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)
abstract java.util.Collection<Statement>	AbstractPASemantics.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 and Description
Statement	RpclSemantics.getSatisfactionStatement(RelationalProbabilisticConditional r, FolSignature signature, java.util.Map<? extends Interpretation,FloatVariable> worlds2vars) Returns the mathematical statement corresponding to the satisfaction of the given conditional wrt.
Statement	AveragingSemantics.getSatisfactionStatement(RelationalProbabilisticConditional r, FolSignature signature, java.util.Map<? extends Interpretation,FloatVariable> worlds2vars)
Statement	AggregatingSemantics.getSatisfactionStatement(RelationalProbabilisticConditional r, FolSignature signature, java.util.Map<? extends Interpretation,FloatVariable> worlds2vars)
abstract Statement	AbstractRpclSemantics.getSatisfactionStatement(RelationalProbabilisticConditional r, FolSignature signature, java.util.Map<? extends Interpretation,FloatVariable> worlds2vars)
protected Term	AbstractRpclSemantics.probabilityTerm(FolFormula f, java.util.Map<? extends Interpretation,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 and 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 and Description
int	SimpleGeneticOptimizationSolver.FitnessComparator.compare(java.util.Map<FloatVariable,Term> arg0, java.util.Map<FloatVariable,Term> arg1)
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.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