Uses of Class
org.tweetyproject.math.term.Term
Package
Description
-
Uses of Term in org.tweetyproject.math.equation
Modifier and TypeMethodDescriptionStatement.getLeftTerm()
Returns the left term of this statement.Statement.getRightTerm()
Returns the right term of this statement.Modifier and TypeMethodDescriptionEquation.replaceTerm
(Term toSubstitute, Term substitution) 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.void
Statement.setLeftTerm
(Term t) Sets the left term of this statement.void
Statement.setRightTerm
(Term t) Sets the right term of this statement.Modifier and TypeMethodDescriptionStatement.replaceAllTerms
(Map<? extends Term, ? extends Term> substitutes) Replaces terms according to the given map.Statement.replaceAllTerms
(Map<? extends Term, ? extends Term> substitutes) Replaces terms according to the given map.ModifierConstructorDescriptionCreates a new equation with the given terms.Inequation
(Term leftTerm, Term rightTerm, int type) Creates a new inequation of the given type with the two terms.Creates a new statement with the given terms. -
Uses of Term in org.tweetyproject.math.examples
ModifierConstructorDescriptionKnapSack
(ArrayList<ElementOfCombinatoricsProb> elements, Term maxWeight) constructor -
Uses of Term in org.tweetyproject.math.func
Modifier and TypeMethodDescriptiongetTerm -
Uses of Term in org.tweetyproject.math.func.fuzzy
Modifier and TypeMethodDescriptionTCoNorm.evalTerm
(Collection<Term> vals) Gives a representation of this conorm as a mathematical term.abstract Term
Gives a representation of this conorm as a mathematical termTNorm.evalTerm
(Collection<Term> vals) Gives a representation of this norm as a mathematical term.abstract Term
Gives a representation of this norm as a mathematical termModifier and TypeMethodDescriptionabstract Term
Gives a representation of this conorm as a mathematical termabstract Term
Gives a representation of this norm as a mathematical termModifier and TypeMethodDescriptionTCoNorm.evalTerm
(Collection<Term> vals) Gives a representation of this conorm as a mathematical term.TNorm.evalTerm
(Collection<Term> vals) Gives a representation of this norm as a mathematical term. -
Uses of Term in org.tweetyproject.math.matrix
Modifier and TypeMethodDescriptionMatrix.getEntry
(int x, int y) Returns the entry with the given coordinates. -
Uses of Term in org.tweetyproject.math.norm
Modifier and TypeMethodDescriptionabstract Term
AbstractRealVectorNorm.distanceTerm
(Vector<Term> obj1, Vector<Term> obj2) AbstractRealVectorNorm.distanceTerm
(Term[] obj1, Term[] obj2) AggregatingNorm.distanceTerm
(Vector<Term> obj1, Vector<Term> obj2) AggregatingNorm.distanceTerm
(Term[] obj1, Term[] obj2) EntropyNorm.distanceTerm
(Vector<Term> obj1, Vector<Term> obj2) EntropyNorm.distanceTerm
(Term[] obj1, Term[] obj2) ManhattanNorm.distanceTerm
(Vector<Term> obj1, Vector<Term> obj2) MaximumNorm.distanceTerm
(Vector<Term> obj1, Vector<Term> obj2) PNorm.distanceTerm
(Vector<Term> obj1, Vector<Term> obj2) ProbabilisticAggregatingNorm.distanceTerm
(Vector<Term> obj1, Vector<Term> obj2) ProbabilisticAggregatingNorm.distanceTerm
(Term[] obj1, Term[] obj2) ProbabilisticPNorm.distanceTerm
(Vector<Term> obj1, Vector<Term> obj2) ProbabilisticPNorm.distanceTerm
(Term[] obj1, Term[] obj2) RealVectorNorm.distanceTerm
(Vector<Term> obj1, Vector<Term> obj2) The distance between the two objects as a term.RealVectorNorm.distanceTerm
(Term[] obj1, Term[] obj2) The distance between the two objects as a term.abstract Term
Returns the norm as a term of the given termsReturns the norm as a term of the given termsModifier and TypeMethodDescriptionAbstractRealVectorNorm.distanceTerm
(Term[] obj1, Term[] obj2) AggregatingNorm.distanceTerm
(Term[] obj1, Term[] obj2) EntropyNorm.distanceTerm
(Term[] obj1, Term[] obj2) ProbabilisticAggregatingNorm.distanceTerm
(Term[] obj1, Term[] obj2) ProbabilisticPNorm.distanceTerm
(Term[] obj1, Term[] obj2) RealVectorNorm.distanceTerm
(Term[] obj1, Term[] obj2) The distance between the two objects as a term.Returns the norm as a term of the given termsModifier and TypeMethodDescriptionabstract Term
AbstractRealVectorNorm.distanceTerm
(Vector<Term> obj1, Vector<Term> obj2) AggregatingNorm.distanceTerm
(Vector<Term> obj1, Vector<Term> obj2) EntropyNorm.distanceTerm
(Vector<Term> obj1, Vector<Term> obj2) ManhattanNorm.distanceTerm
(Vector<Term> obj1, Vector<Term> obj2) MaximumNorm.distanceTerm
(Vector<Term> obj1, Vector<Term> obj2) PNorm.distanceTerm
(Vector<Term> obj1, Vector<Term> obj2) ProbabilisticAggregatingNorm.distanceTerm
(Vector<Term> obj1, Vector<Term> obj2) ProbabilisticPNorm.distanceTerm
(Vector<Term> obj1, Vector<Term> obj2) RealVectorNorm.distanceTerm
(Vector<Term> obj1, Vector<Term> obj2) The distance between the two objects as a term.abstract Term
Returns the norm as a term of the given terms -
Uses of Term in org.tweetyproject.math.opt.problem
Modifier and TypeMethodDescriptionOptimizationProblem.getTargetFunction()
Returns the target function of this problem.Modifier and TypeMethodDescriptionvoid
OptimizationProblem.setTargetFunction
(Term targetFunction) Sets the target function of this problem. -
Uses of Term in org.tweetyproject.math.opt.rootFinder
Modifier and TypeMethodDescriptionRootFinder.getFunctions()
Returns the function of this root finder.RootFinder.getStartingPoint()
Returns the starting point of this finder.Determines the values for the variables appearing in the function such the function evaluates to zero.Modifier and TypeMethodDescriptionDetermines the values for the variables appearing in the function such the function evaluates to zero.Determines the values for the variables appearing in the function such the function evaluates to zero.void
RootFinder.setStartingPoint
(Map<Variable, Term> startingPoint) sets the starting point of this root finder.ModifierConstructorDescriptionCreates a new root finder for the given starting point and the given (multi-dimensional) functionCreates a new root finder for the given starting point and the given (multi-dimensional) functionCreates a new root finder for the given starting point and the given (multi-dimensional) functionCreates a new root finder for the given starting point and the given (multi-dimensional) function -
Uses of Term in org.tweetyproject.math.opt.solver
Modifier and TypeMethodDescriptionIteratedLocalSearchOnConstrProb.bestNeighbor
(Map<Variable, Term> currSol, int minIterations, int maxIterations, double threshold, Term t) Return the best solution that was found and is a mutant of currSolSimulatedAnnealingOnConstrProb.chooseANeighbor
(Map<Variable, Term> currSol, int minIterations, int maxIterations, double threshold, Term targetFunc) StochasticLocalSearchOnConstrProb.chooseANeighbor
(Map<Variable, Term> currSol, int minIterations, int maxIterations, double threshold, Term targetFunc) Return the best solution that was found and is a mutant of currSolTabuSearchOnConstrProb.chooseANeighbor
(Map<Variable, Term> currSol, int minIterations, int maxIterations, double threshold, Term t) Return the best solution that was found and is a mutant of currSolchanges the solution drastically to escape a local minimumApacheCommonsCMAESOptimizer.solve
(GeneralConstraintSatisfactionProblem problem) Returns the variable assignment that maximizes/minimizes the given term (which only contains variables with defined upper and lower bounds).ApacheCommonsNonLinearConjugateGradientOptimizer.solve
(GeneralConstraintSatisfactionProblem problem) ApacheCommonsSimplex.solve
(GeneralConstraintSatisfactionProblem problem) BfgsSolver.solve
(GeneralConstraintSatisfactionProblem problem) CombinatoricsSolver.solve
(GeneralConstraintSatisfactionProblem problem) GlpkSolver.solve
(GeneralConstraintSatisfactionProblem problem) GradientDescent.solve
(GeneralConstraintSatisfactionProblem constraintSatisfactionProblem) GurobiOptimizer.solve
(GeneralConstraintSatisfactionProblem problem) Returns the variable assignment that maximizes/minimizes the given term (which only contains variables with defined upper and lower bounds).HessianGradientDescent.solve
(GeneralConstraintSatisfactionProblem problem) IteratedLocalSearchOnConstrProb.solve
(GeneralConstraintSatisfactionProblem problem) LagrangeSolver.solve
(GeneralConstraintSatisfactionProblem prob) LpSolve.solve
(GeneralConstraintSatisfactionProblem problem) OctaveSqpSolver.solve
(GeneralConstraintSatisfactionProblem problem) SimpleGeneticOptimizationSolver.solve
(GeneralConstraintSatisfactionProblem problem) Returns the variable assignment that maximizes/minimizes the given term (which only contains variables with defined upper and lower bounds).SimulatedAnnealingOnConstrProb.solve
(GeneralConstraintSatisfactionProblem problem) Solver.solve
(GeneralConstraintSatisfactionProblem problem) Computes a solution to the given constraint satisfaction or optimization problem, i.e.StochasticLocalSearchOnConstrProb.solve
(GeneralConstraintSatisfactionProblem problem) TabuSearchOnConstrProb.solve
(GeneralConstraintSatisfactionProblem problem) Modifier and TypeMethodDescriptionIteratedLocalSearchOnConstrProb.bestNeighbor
(Map<Variable, Term> currSol, int minIterations, int maxIterations, double threshold, Term t) Return the best solution that was found and is a mutant of currSolSimulatedAnnealingOnConstrProb.chooseANeighbor
(Map<Variable, Term> currSol, int minIterations, int maxIterations, double threshold, Term targetFunc) StochasticLocalSearchOnConstrProb.chooseANeighbor
(Map<Variable, Term> currSol, int minIterations, int maxIterations, double threshold, Term targetFunc) Return the best solution that was found and is a mutant of currSolTabuSearchOnConstrProb.chooseANeighbor
(Map<Variable, Term> currSol, int minIterations, int maxIterations, double threshold, Term t) Return the best solution that was found and is a mutant of currSoldouble
Return the evaluationgurobi.GRBExpr
parses a term from tweety to GRB the input term needs to be linear or quadraticReturns the variable assignment that maximizes/minimizes the given term (which only contains variables with defined upper and lower bounds).Returns the variable assignment that maximizes/minimizes the given term (which only contains variables with defined upper and lower bounds).Returns the variable assignment that maximizes/minimizes the given term (which only contains variables with defined upper and lower bounds).GurobiOptimizer.toQuadraticFormHelper
(Term sum) Return a list of products from a quadratic term in normal formModifier and TypeMethodDescriptionIteratedLocalSearchOnConstrProb.bestNeighbor
(Map<Variable, Term> currSol, int minIterations, int maxIterations, double threshold, Term t) Return the best solution that was found and is a mutant of currSolSimulatedAnnealingOnConstrProb.chooseANeighbor
(Map<Variable, Term> currSol, int minIterations, int maxIterations, double threshold, Term targetFunc) StochasticLocalSearchOnConstrProb.chooseANeighbor
(Map<Variable, Term> currSol, int minIterations, int maxIterations, double threshold, Term targetFunc) Return the best solution that was found and is a mutant of currSolTabuSearchOnConstrProb.chooseANeighbor
(Map<Variable, Term> currSol, int minIterations, int maxIterations, double threshold, Term t) Return the best solution that was found and is a mutant of currSoldouble
Return the evaluationchanges the solution drastically to escape a local minimumModifierConstructorDescriptionBfgsSolver
(Map<Variable, Term> startingPoint) ConstructorGradientDescent
(Map<Variable, Term> startingPoint) Creates a new gradient descent solverHessianGradientDescent
(Map<Variable, Term> startingPoint) ConstructorLagrangeSolver
(Map<Variable, Term> startingPoint) Creates a new Lagrange solver for the given optimization problemLagrangeSolver
(Set<Map<Variable, Term>> startingPoints) Creates a new Lagrange solver for the given optimization problem -
Uses of Term in org.tweetyproject.math.term
Modifier and TypeClassDescriptionclass
This class models the absolute value of the inner term.class
AssociativeOperation classclass
This class models a binary variable as a mathematical term.class
This class models an abstract constant, e.g.class
This class models a difference between two terms.class
This class represents an exponential expression by "e".class
This class encapsulates a float as a term.class
This class models an float variable as a mathematical term.class
Instances of this class represent fractions of two terms.class
Instances of this class represent a functional term on some inner term.class
This class encapsulates an integer as a term.class
This class models an integer variable as a mathematical term.class
Instances of this class represent application of the logarithm function on some term.class
This class models the maximum of two terms.class
This class models the minimum of two terms.class
This class represents a term raised to some power.class
This class models a product of two terms.class
This class represents a the nth root functionclass
This class models a sum of two terms.class
This class models a variable as a mathematical term.Modifier and TypeMethodDescriptionabstract Term
Differentiates the term with respect to the given variable.FunctionalTerm.getTerm()
Returns the inner term.Returns the minimum of this and the given term.Term.replaceAllTerms
(double[] values, List<Variable> variables) Replaces terms according to the given map.Term.replaceAllTerms
(Map<? extends Term, ? extends Term> substitutes) Replaces terms according to the given map.AbsoluteValue.replaceTerm
(Term toSubstitute, Term substitution) Constant.replaceTerm
(Term toSubstitute, Term substitution) Difference.replaceTerm
(Term toSubstitute, Term substitution) Exp.replaceTerm
(Term toSubstitute, Term substitution) Fraction.replaceTerm
(Term toSubstitute, Term substitution) abstract Term
FunctionalTerm.replaceTerm
(Term toSubstitute, Term substitution) Logarithm.replaceTerm
(Term toSubstitute, Term substitution) Maximum.replaceTerm
(Term toSubstitute, Term substitution) Minimum.replaceTerm
(Term toSubstitute, Term substitution) Power.replaceTerm
(Term toSubstitute, Term substitution) Product.replaceTerm
(Term toSubstitute, Term substitution) Root.replaceTerm
(Term toSubstitute, Term substitution) Sum.replaceTerm
(Term toSubstitute, Term substitution) abstract Term
Term.replaceTerm
(Term toSubstitute, Term substitution) Replaces each occurrence of "toSubstitute" by "substitution" and return the new term.Variable.replaceTerm
(Term toSubstitute, Term substitution) AbsoluteValue.simplify()
Constant.simplify()
Difference.simplify()
Exp.simplify()
Fraction.simplify()
Logarithm.simplify()
Maximum.simplify()
Minimum.simplify()
Power.simplify()
Product.simplify()
Root.simplify()
Sum.simplify()
abstract Term
Term.simplify()
Simplifies this term in an equivalent way:
- Replaces products that contain a zero by the constant zero
- Removes a term one from products
- Removes a term zero from sums
- Aggregates constants in sums, products, and minimums
- Evaluates functional terms on constants
- Simplifies fractions where possible.Variable.simplify()
Modifier and TypeMethodDescriptionAbsoluteValue.getTerms()
AssociativeOperation.getTerms()
Returns the terms of this operation.Constant.getTerms()
Difference.getTerms()
Exp.getTerms()
Fraction.getTerms()
Logarithm.getTerms()
Power.getTerms()
Root.getTerms()
Term.getTerms()
Getter TermsVariable.getTerms()
Modifier and TypeMethodDescriptionReturns the sum of this and the given term.void
Adds the given term to this operation.Returns the minimum of this and the given term.Returns the sum of this and (-1) * the given term.Returns the product of this and the given term.void
AssociativeOperation.removeTerm
(Term t) Removes the given term from this operation.AbsoluteValue.replaceTerm
(Term toSubstitute, Term substitution) Constant.replaceTerm
(Term toSubstitute, Term substitution) Difference.replaceTerm
(Term toSubstitute, Term substitution) Exp.replaceTerm
(Term toSubstitute, Term substitution) Fraction.replaceTerm
(Term toSubstitute, Term substitution) abstract Term
FunctionalTerm.replaceTerm
(Term toSubstitute, Term substitution) Logarithm.replaceTerm
(Term toSubstitute, Term substitution) Maximum.replaceTerm
(Term toSubstitute, Term substitution) Minimum.replaceTerm
(Term toSubstitute, Term substitution) Power.replaceTerm
(Term toSubstitute, Term substitution) Product.replaceTerm
(Term toSubstitute, Term substitution) Root.replaceTerm
(Term toSubstitute, Term substitution) Sum.replaceTerm
(Term toSubstitute, Term substitution) abstract Term
Term.replaceTerm
(Term toSubstitute, Term substitution) Replaces each occurrence of "toSubstitute" by "substitution" and return the new term.Variable.replaceTerm
(Term toSubstitute, Term substitution) Modifier and TypeMethodDescriptionvoid
AssociativeOperation.addAllTerm
(Collection<Term> terms) Adds all the given terms of this operation.static double[][]
Evaluates each function in the given matrix with the given values for variables.static double[]
Term.evaluateVector
(List<Term> functions, double[] values, List<Variable> variables) Evaluates each function in the given list with the given values for variables.Evaluates each function in the given list with the given values for variables.Evaluates each function in the given list with the given values for variables.Term.replaceAllTerms
(Map<? extends Term, ? extends Term> substitutes) Replaces terms according to the given map.Term.replaceAllTerms
(Map<? extends Term, ? extends Term> substitutes) Replaces terms according to the given map.ModifierConstructorDescriptionAbsoluteValue
(Term term) Creates a new absolute value term with the given inner term.AssociativeOperation
(Term first, Term second) Creates a new operation with the given terms.Difference
(Term first, Term second) Creates a new difference with the given terms.Creates a new exponential term with the given term.Creates a new fraction of the two given terms.FunctionalTerm
(Term term) Creates a new functional term with the given inner term.Creates a new logarithm term for the give inner term.Creates a new maximum with the given terms.Creates a new minimum with the given terms.Creates a new power term with the given term and power.Creates a new product with the given terms.Creates a new square root.Creates a new root for the given base.Creates a new sum with the given terms.ModifierConstructorDescriptionAssociativeOperation
(Collection<? extends Term> terms) Creates a new operation with the given list of terms.ElementOfCombinatoricsProb
(ArrayList<Term> elements) ConstructorCreates a new maximum with the given list of terms.Creates a new minimum with the given list of terms.Product
(Collection<? extends Term> terms) Creates a new product with the given list of terms.Sum
(Collection<? extends Term> terms) Creates a new sum with the given list of terms.