Uses of Class
net.sf.tweety.math.term.Variable
-
Packages that use Variable Package Description net.sf.tweety.logics.pl.analysis net.sf.tweety.math.opt net.sf.tweety.math.opt.solver net.sf.tweety.math.term -
-
Uses of Variable in net.sf.tweety.logics.pl.analysis
Methods in net.sf.tweety.logics.pl.analysis that return types with arguments of type Variable Modifier and Type Method Description private Pair<java.util.Map<Variable,Term>,java.lang.Double>
FuzzyInconsistencyMeasure. constructAndSolveProblem(java.util.Collection<PlFormula> formulas, java.util.Map<Proposition,Variable> assignments)
Utility methodMethod parameters in net.sf.tweety.logics.pl.analysis with type arguments of type Variable Modifier and Type Method Description private Pair<java.util.Map<Variable,Term>,java.lang.Double>
FuzzyInconsistencyMeasure. constructAndSolveProblem(java.util.Collection<PlFormula> formulas, java.util.Map<Proposition,Variable> assignments)
Utility methodprivate Term
FuzzyInconsistencyMeasure. getTerm(PlFormula formula, java.util.Map<Proposition,Variable> assignments)
Returns a mathematical term representation of the given formula by replacing proposition by their given mathematical variables and replacing conjunction, disjunction, and negation by their fuzzy counterparts (taking the given t-norm and t-conorm into account). -
Uses of Variable in net.sf.tweety.math.opt
Fields in net.sf.tweety.math.opt with type parameters of type Variable Modifier and Type Field Description private java.util.Map<Variable,Term>
RootFinder. startingPoint
The starting point of this root finder.Methods in net.sf.tweety.math.opt that return types with arguments of type Variable Modifier and Type Method Description java.util.Map<Variable,Term>
RootFinder. getStartingPoint()
Returns the starting point of this finder.java.util.Set<Variable>
ConstraintSatisfactionProblem. getVariables()
Returns all variables of this problem.java.util.Set<Variable>
OptimizationProblem. getVariables()
private java.util.Map<Variable,Term>
NewtonRootFinder. midpoint(java.util.Map<Variable,Term> m1, java.util.Map<Variable,Term> m2)
Computes the midpoint of the two mapsjava.util.Map<Variable,Term>
BfgsRootFinder. randomRoot()
java.util.Map<Variable,Term>
GradientDescentRootFinder. randomRoot()
java.util.Map<Variable,Term>
HessianGradientDescentRootFinder. randomRoot()
java.util.Map<Variable,Term>
LbfgsRootFinder. randomRoot()
java.util.Map<Variable,Term>
NewtonRootFinder. randomRoot()
java.util.Map<Variable,Term>
OpenOptRootFinder. randomRoot()
abstract java.util.Map<Variable,Term>
OptimizationRootFinder. randomRoot()
abstract java.util.Map<Variable,Term>
RootFinder. randomRoot()
Determines the values for the variables appearing in the function such the function evaluates to zero.abstract java.util.Map<Variable,Term>
Solver. solve(ConstraintSatisfactionProblem problem)
Computes a solution to the given constraint satisfaction or optimization problem, i.e.Method parameters in net.sf.tweety.math.opt with type arguments of type Variable Modifier and Type Method Description private java.util.List<java.util.List<java.lang.Double>>
NewtonRootFinder. evaluateMatrix(java.util.List<java.util.List<Term>> functions, java.util.Map<Variable,? extends Term> mapping)
Evaluates each function in the given matrix with the given values for variables.private java.util.Map<Variable,Term>
NewtonRootFinder. midpoint(java.util.Map<Variable,Term> m1, java.util.Map<Variable,Term> m2)
Computes the midpoint of the two mapsvoid
RootFinder. setStartingPoint(java.util.Map<Variable,Term> startingPoint)
sets the starting point of this root finder.Constructor parameters in net.sf.tweety.math.opt with type arguments of type Variable Constructor Description BfgsRootFinder(java.util.List<Term> functions, java.util.Map<Variable,Term> startingPoint)
Creates a new root finder for the given starting point and the given (multi-dimensional) functionBfgsRootFinder(Term function, java.util.Map<Variable,Term> startingPoint)
Creates a new root finder for the given starting point and the given functionGradientDescentRootFinder(java.util.List<Term> functions, java.util.Map<Variable,Term> startingPoint)
Creates a new root finder for the given starting point and the given (multi-dimensional) functionGradientDescentRootFinder(Term function, java.util.Map<Variable,Term> startingPoint)
Creates a new root finder for the given starting point and the given functionHessianGradientDescentRootFinder(java.util.List<Term> functions, java.util.Map<Variable,Term> startingPoint)
Creates a new root finder for the given starting point and the given (multi-dimensional) functionHessianGradientDescentRootFinder(Term function, java.util.Map<Variable,Term> startingPoint)
Creates a new root finder for the given starting point and the given functionLbfgsRootFinder(java.util.List<Term> functions, java.util.Map<Variable,Term> startingPoint)
Creates a new root finder for the given starting point and the given (multi-dimensional) functionLbfgsRootFinder(Term function, java.util.Map<Variable,Term> startingPoint)
Creates a new root finder for the given starting point and the given functionNewtonRootFinder(java.util.List<Term> functions, java.util.Map<Variable,Term> startingPoint)
Creates a new Newton root finder for the given starting point and the given (multi-dimensional) functionNewtonRootFinder(Term function, java.util.Map<Variable,Term> startingPoint)
Creates a new Newton root finder for the given starting point and the given functionOpenOptRootFinder(java.util.List<Term> functions, java.util.Map<Variable,Term> startingPoint)
Creates a new root finder for the given starting point and the given (multi-dimensional) functionOpenOptRootFinder(Term function, java.util.Map<Variable,Term> startingPoint)
Creates a new root finder for the given starting point and the given functionOptimizationRootFinder(java.util.List<Term> functions, java.util.Map<Variable,Term> startingPoint)
Creates a new root finder for the given starting point and the given (multi-dimensional) functionOptimizationRootFinder(Term function, java.util.Map<Variable,Term> startingPoint)
Creates a new root finder for the given starting point and the given functionRootFinder(java.util.List<Term> functions, java.util.Map<Variable,Term> startingPoint)
Creates a new root finder for the given starting point and the given (multi-dimensional) functionRootFinder(Term function, java.util.Map<Variable,Term> startingPoint)
Creates a new root finder for the given starting point and the given function -
Uses of Variable in net.sf.tweety.math.opt.solver
Fields in net.sf.tweety.math.opt.solver with type parameters of type Variable Modifier and Type Field Description private java.util.Map<java.lang.Integer,Variable>
OpenOptSolver. idx2newVars
A map mapping indices to new variables.private java.util.Map<Variable,Variable>
OpenOptSolver. newVars2oldVars
A map mapping old variables to new variables.private java.util.Map<Variable,Variable>
OpenOptSolver. newVars2oldVars
A map mapping old variables to new variables.private java.util.Map<Variable,Variable>
OpenOptSolver. oldVars2newVars
A map mapping old variables to new variables.private java.util.Map<Variable,Variable>
OpenOptSolver. oldVars2newVars
A map mapping old variables to new variables.private java.util.Map<Variable,Term>
BfgsSolver. startingPoint
The starting point for the solver.private java.util.Map<Variable,Term>
GradientDescent. startingPoint
The starting point for the solver.private java.util.Map<Variable,Term>
HessianGradientDescent. startingPoint
The starting point for the solver.private java.util.Map<Variable,Term>
LbfgsSolver. startingPoint
The starting point for the solver.private java.util.Map<Variable,Term>
OpenOptSolver. startingPoint
A starting point for the optimization.private java.util.Set<java.util.Map<Variable,Term>>
LagrangeSolver. startingPoints
The starting points for finding the optimum.Methods in net.sf.tweety.math.opt.solver that return types with arguments of type Variable Modifier and Type Method Description protected java.util.Map<Variable,Term>
OpenOptSolver. parseOutput(java.lang.String output)
This method parses the output data of an OpenOpt runjava.util.Map<Variable,Term>
ApacheCommonsCMAESOptimizer. solve(ConstraintSatisfactionProblem problem)
java.util.Map<Variable,Term>
ApacheCommonsCMAESOptimizer. solve(Term t, int optimization_type)
Returns the variable assignment that maximizes/minimizes the given term (which only contains variables with defined upper and lower bounds).java.util.Map<Variable,Term>
ApacheCommonsNonLinearConjugateGradientOptimizer. solve(ConstraintSatisfactionProblem problem)
java.util.Map<Variable,Term>
ApacheCommonsSimplex. solve(ConstraintSatisfactionProblem problem)
java.util.Map<Variable,Term>
BfgsSolver. solve(ConstraintSatisfactionProblem problem)
java.util.Map<Variable,Term>
GlpkSolver. solve(ConstraintSatisfactionProblem problem)
java.util.Map<Variable,Term>
GradientDescent. solve(ConstraintSatisfactionProblem problem)
java.util.Map<Variable,Term>
HessianGradientDescent. solve(ConstraintSatisfactionProblem problem)
java.util.Map<Variable,Term>
LagrangeSolver. solve(ConstraintSatisfactionProblem prob)
java.util.Map<Variable,Term>
LbfgsSolver. solve(ConstraintSatisfactionProblem problem)
java.util.Map<Variable,Term>
LpSolve. solve(ConstraintSatisfactionProblem problem)
java.util.Map<Variable,Term>
OctaveSqpSolver. solve(ConstraintSatisfactionProblem problem)
java.util.Map<Variable,Term>
OpenOptSolver. solve(ConstraintSatisfactionProblem problem)
java.util.Map<Variable,Term>
OpenOptWebSolver. solve(ConstraintSatisfactionProblem problem)
java.util.Map<Variable,Term>
SimpleGeneticOptimizationSolver. solve(ConstraintSatisfactionProblem problem)
java.util.Map<Variable,Term>
SimpleGeneticOptimizationSolver. solve(Term t, int optimization_objective)
Returns the variable assignment that maximizes/minimizes the given term (which only contains variables with defined upper and lower bounds).Method parameters in net.sf.tweety.math.opt.solver with type arguments of type Variable Modifier and Type Method Description private Matrix
BfgsSolver. evaluate(Matrix gradient, Matrix currentGuess, java.util.List<Variable> variables)
private double
BfgsSolver. nextBestStep(Matrix currentGuess, Matrix searchDirection, Matrix gradient, java.util.List<Variable> variables)
Constructor parameters in net.sf.tweety.math.opt.solver with type arguments of type Variable Constructor Description BfgsSolver(java.util.Map<Variable,Term> startingPoint)
GradientDescent(java.util.Map<Variable,Term> startingPoint)
Creates a new gradient descent solverHessianGradientDescent(java.util.Map<Variable,Term> startingPoint)
LagrangeSolver(java.util.Map<Variable,Term> startingPoint)
Creates a new Lagrange solver for the given optimization problemLagrangeSolver(java.util.Set<java.util.Map<Variable,Term>> startingPoints)
Creates a new Lagrange solver for the given optimization problemLbfgsSolver(java.util.Map<Variable,Term> startingPoint)
OpenOptSolver(java.util.Map<Variable,Term> startingPoint)
Creates a new solver for the given problem. -
Uses of Variable in net.sf.tweety.math.term
Subclasses of Variable in net.sf.tweety.math.term Modifier and Type Class Description class
BinaryVariable
This class models a binary variable as a mathematical term.class
FloatVariable
This class models an float variable as a mathematical term.class
IntegerVariable
This class models an integer variable as a mathematical term.Methods in net.sf.tweety.math.term that return types with arguments of type Variable Modifier and Type Method Description java.util.Set<Variable>
AssociativeOperation. getVariables()
java.util.Set<Variable>
Constant. getVariables()
java.util.Set<Variable>
Difference. getVariables()
java.util.Set<Variable>
Fraction. getVariables()
java.util.Set<Variable>
FunctionalTerm. getVariables()
abstract java.util.Set<Variable>
Term. getVariables()
Returns all variables in this term.java.util.Set<Variable>
Variable. getVariables()
Methods in net.sf.tweety.math.term with parameters of type Variable Modifier and Type Method Description Term
AbsoluteValue. derive(Variable v)
Term
Constant. derive(Variable v)
Term
Difference. derive(Variable v)
Term
Exp. derive(Variable v)
Term
Fraction. derive(Variable v)
Term
Logarithm. derive(Variable v)
Term
Maximum. derive(Variable v)
Term
Minimum. derive(Variable v)
Term
Power. derive(Variable v)
Term
Product. derive(Variable v)
Term
Root. derive(Variable v)
Term
Sum. derive(Variable v)
abstract Term
Term. derive(Variable v)
Differentiates the term with respect to the given variable.Term
Variable. derive(Variable v)
boolean
AbsoluteValue. isContinuous(Variable v)
boolean
Constant. isContinuous(Variable v)
boolean
Difference. isContinuous(Variable v)
boolean
Exp. isContinuous(Variable v)
boolean
Fraction. isContinuous(Variable v)
boolean
Logarithm. isContinuous(Variable v)
boolean
Maximum. isContinuous(Variable v)
boolean
Minimum. isContinuous(Variable v)
boolean
Power. isContinuous(Variable v)
boolean
Product. isContinuous(Variable v)
boolean
Root. isContinuous(Variable v)
boolean
Sum. isContinuous(Variable v)
abstract boolean
Term. isContinuous(Variable v)
Checks whether this term is continuous in v.boolean
Variable. isContinuous(Variable v)
Method parameters in net.sf.tweety.math.term with type arguments of type Variable Modifier and Type Method Description static java.util.List<java.lang.Double>
Term. evaluateVector(java.util.List<Term> functions, java.util.Map<Variable,? extends Term> mapping)
Evaluates each function in the given list with the given values for variables.Term
Term. replaceAllTerms(double[] values, java.util.List<Variable> variables)
Replaces terms according to the given map.
-