Uses of Class
org.tweetyproject.math.term.Term
Packages that use Term
Package
Description
-
Uses of Term in org.tweetyproject.math.equation
Methods in org.tweetyproject.math.equation that return TermModifier and TypeMethodDescriptionStatement.getLeftTerm()
Returns the left term of this statement.Statement.getRightTerm()
Returns the right term of this statement.Methods in org.tweetyproject.math.equation with parameters of type TermModifier 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.Method parameters in org.tweetyproject.math.equation with type arguments of type TermModifier 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.Constructors in org.tweetyproject.math.equation with parameters of type TermModifierConstructorDescriptionCreates 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
Constructors in org.tweetyproject.math.examples with parameters of type TermModifierConstructorDescriptionKnapSack
(ArrayList<ElementOfCombinatoricsProb> elements, Term maxWeight) constructor -
Uses of Term in org.tweetyproject.math.func
Methods in org.tweetyproject.math.func that return TermModifier and TypeMethodDescriptiongetTermMethod parameters in org.tweetyproject.math.func with type arguments of type Term -
Uses of Term in org.tweetyproject.math.func.fuzzy
Methods in org.tweetyproject.math.func.fuzzy that return TermModifier 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 termMethods in org.tweetyproject.math.func.fuzzy with parameters of type TermModifier and TypeMethodDescriptionabstract Term
Gives a representation of this conorm as a mathematical termabstract Term
Gives a representation of this norm as a mathematical termMethod parameters in org.tweetyproject.math.func.fuzzy with type arguments of type 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
Methods in org.tweetyproject.math.matrix that return TermModifier and TypeMethodDescriptionMatrix.getEntry
(int x, int y) Returns the entry with the given coordinates.Methods in org.tweetyproject.math.matrix with parameters of type Term -
Uses of Term in org.tweetyproject.math.norm
Methods in org.tweetyproject.math.norm that return TermModifier 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 termsMethods in org.tweetyproject.math.norm with parameters of type TermModifier 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 termsMethod parameters in org.tweetyproject.math.norm with type arguments of type TermModifier 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
Methods in org.tweetyproject.math.opt.problem that return TermModifier and TypeMethodDescriptionOptimizationProblem.getTargetFunction()
Returns the target function of this problem.Methods in org.tweetyproject.math.opt.problem with parameters of type TermModifier and TypeMethodDescriptionvoid
OptimizationProblem.setTargetFunction
(Term targetFunction) Sets the target function of this problem. -
Uses of Term in org.tweetyproject.math.opt.rootFinder
Methods in org.tweetyproject.math.opt.rootFinder that return types with arguments of type TermModifier 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.Method parameters in org.tweetyproject.math.opt.rootFinder with type arguments of type TermModifier 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.Constructor parameters in org.tweetyproject.math.opt.rootFinder with type arguments of type TermModifierConstructorDescriptionCreates 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
Methods in org.tweetyproject.math.opt.solver that return types with arguments of type TermModifier and TypeMethodDescriptionIteratedLocalSearchOnConstrProb.bestNeighbor
(Map<Variable, Term> currSol, int minIterations, int maxIterations, double threshold, Term t) SimulatedAnnealingOnConstrProb.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) TabuSearchOnConstrProb.chooseANeighbor
(Map<Variable, Term> currSol, int minIterations, int maxIterations, double threshold, Term t) changes 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) Methods in org.tweetyproject.math.opt.solver with parameters of type TermModifier and TypeMethodDescriptionIteratedLocalSearchOnConstrProb.bestNeighbor
(Map<Variable, Term> currSol, int minIterations, int maxIterations, double threshold, Term t) SimulatedAnnealingOnConstrProb.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) TabuSearchOnConstrProb.chooseANeighbor
(Map<Variable, Term> currSol, int minIterations, int maxIterations, double threshold, Term t) double
gurobi.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) Method parameters in org.tweetyproject.math.opt.solver with type arguments of type TermModifier and TypeMethodDescriptionIteratedLocalSearchOnConstrProb.bestNeighbor
(Map<Variable, Term> currSol, int minIterations, int maxIterations, double threshold, Term t) SimulatedAnnealingOnConstrProb.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) TabuSearchOnConstrProb.chooseANeighbor
(Map<Variable, Term> currSol, int minIterations, int maxIterations, double threshold, Term t) double
changes the solution drastically to escape a local minimumConstructor parameters in org.tweetyproject.math.opt.solver with type arguments of type TermModifierConstructorDescriptionBfgsSolver
(Map<Variable, Term> startingPoint) GradientDescent
(Map<Variable, Term> startingPoint) Creates a new gradient descent solverHessianGradientDescent
(Map<Variable, Term> startingPoint) LagrangeSolver
(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
Subclasses of Term in org.tweetyproject.math.termModifier and TypeClassDescriptionclass
This class models the absolute value of the inner term.class
class
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.Fields in org.tweetyproject.math.term with type parameters of type TermMethods in org.tweetyproject.math.term that return TermModifier 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()
Methods in org.tweetyproject.math.term that return types with arguments of type TermModifier 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()
Variable.getTerms()
Methods in org.tweetyproject.math.term with parameters of type TermModifier 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) Method parameters in org.tweetyproject.math.term with type arguments of type TermModifier 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.Constructors in org.tweetyproject.math.term with parameters of type TermModifierConstructorDescriptionAbsoluteValue
(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.Constructor parameters in org.tweetyproject.math.term with type arguments of type TermModifierConstructorDescriptionAssociativeOperation
(Collection<? extends Term> terms) Creates a new operation with the given list of terms.ElementOfCombinatoricsProb
(ArrayList<Term> elements) Creates 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.