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 StatementStatement.replaceTerm(Term toSubstitute, Term substitution) Replaces each occurrence of "toSubstitute" by "substitution" and return the new statement.voidStatement.setLeftTerm(Term t) Sets the left term of this statement.voidStatement.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 TermGives a representation of this conorm as a mathematical termTNorm.evalTerm(Collection<Term> vals) Gives a representation of this norm as a mathematical term.abstract TermGives a representation of this norm as a mathematical termMethods in org.tweetyproject.math.func.fuzzy with parameters of type TermModifier and TypeMethodDescriptionabstract TermGives a representation of this conorm as a mathematical termabstract TermGives 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 TermAbstractRealVectorNorm.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 TermReturns 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 TermAbstractRealVectorNorm.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 TermReturns 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 TypeMethodDescriptionvoidOptimizationProblem.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.voidRootFinder.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) 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) 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) 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 currSoldoubleReturn the evaluationgurobi.GRBExprparses 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 formMethod 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) 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 currSoldoubleReturn the evaluationchanges 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) 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
Subclasses of Term in org.tweetyproject.math.termModifier and TypeClassDescriptionclassThis class models the absolute value of the inner term.classAssociativeOperation classclassThis class models a binary variable as a mathematical term.classThis class models an abstract constant, e.g.classThis class models a difference between two terms.classThis class represents an exponential expression by "e".classThis class encapsulates a float as a term.classThis class models an float variable as a mathematical term.classInstances of this class represent fractions of two terms.classInstances of this class represent a functional term on some inner term.classThis class encapsulates an integer as a term.classThis class models an integer variable as a mathematical term.classInstances of this class represent application of the logarithm function on some term.classThis class models the maximum of two terms.classThis class models the minimum of two terms.classThis class represents a term raised to some power.classThis class models a product of two terms.classThis class represents a the nth root functionclassThis class models a sum of two terms.classThis 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 TermDifferentiates 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 TermFunctionalTerm.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 TermTerm.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 TermTerm.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()Getter TermsVariable.getTerms()Methods in org.tweetyproject.math.term with parameters of type TermModifier and TypeMethodDescriptionReturns the sum of this and the given term.voidAdds 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.voidAssociativeOperation.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 TermFunctionalTerm.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 TermTerm.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 TypeMethodDescriptionvoidAssociativeOperation.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) 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.