Uses of Class
net.sf.tweety.math.term.Term

Packages that use Term

Package	Description
net.sf.tweety.math.equation
net.sf.tweety.math.examples
net.sf.tweety.math.func
net.sf.tweety.math.func.fuzzy
net.sf.tweety.math.matrix
net.sf.tweety.math.norm
net.sf.tweety.math.opt.problem
net.sf.tweety.math.opt.rootFinder
net.sf.tweety.math.opt.solver
net.sf.tweety.math.term

Uses of Term in net.sf.tweety.math.equation

Methods in net.sf.tweety.math.equation that return Term

Modifier and Type	Method	Description
Term	Statement.getLeftTerm()	Returns the left term of this statement.
Term	Statement.getRightTerm()	Returns the right term of this statement.

Methods in net.sf.tweety.math.equation with parameters of type Term

Modifier and Type	Method	Description
Statement	Equation.replaceTerm(Term toSubstitute, Term substitution)
Statement	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 net.sf.tweety.math.equation with type arguments of type Term

Modifier and Type	Method	Description
Statement	Statement.replaceAllTerms(java.util.Map<? extends Term,? extends Term> substitutes)	Replaces terms according to the given map.
Statement	Statement.replaceAllTerms(java.util.Map<? extends Term,? extends Term> substitutes)	Replaces terms according to the given map.

Constructors in net.sf.tweety.math.equation with parameters of type Term

Constructor	Description
Equation(Term leftTerm, Term rightTerm)	Creates 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.
Statement(Term leftTerm, Term rightTerm)	Creates a new statement with the given terms.

Uses of Term in net.sf.tweety.math.examples

Constructors in net.sf.tweety.math.examples with parameters of type Term

Constructor	Description
KnapSack(java.util.ArrayList<ElementOfCombinatoricsProb> elements, Term maxWeight)

Uses of Term in net.sf.tweety.math.func

Methods in net.sf.tweety.math.func that return Term

Modifier and Type	Method	Description
Term	EntropyFunction.getTerm(java.util.Vector<Term> element)
Term	SimpleRealValuedFunction.getTerm(java.util.Vector<Term> element)

Method parameters in net.sf.tweety.math.func with type arguments of type Term

Modifier and Type	Method	Description
Term	EntropyFunction.getTerm(java.util.Vector<Term> element)
Term	SimpleRealValuedFunction.getTerm(java.util.Vector<Term> element)

Uses of Term in net.sf.tweety.math.func.fuzzy

Methods in net.sf.tweety.math.func.fuzzy that return Term

Modifier and Type	Method	Description
Term	BoundedSum.evalTerm(Term val1, Term val2)
Term	LukasiewiczNorm.evalTerm(Term val1, Term val2)
Term	MaximumCoNorm.evalTerm(Term val1, Term val2)
Term	MinimumNorm.evalTerm(Term val1, Term val2)
Term	ProbabilisticSum.evalTerm(Term val1, Term val2)
Term	ProductNorm.evalTerm(Term val1, Term val2)
Term	TCoNorm.evalTerm(java.util.Collection<Term> vals)	Gives a representation of this conorm as a mathematical term.
abstract Term	TCoNorm.evalTerm(Term val1, Term val2)	Gives a representation of this conorm as a mathematical term
Term	TNorm.evalTerm(java.util.Collection<Term> vals)	Gives a representation of this norm as a mathematical term.
abstract Term	TNorm.evalTerm(Term val1, Term val2)	Gives a representation of this norm as a mathematical term

Methods in net.sf.tweety.math.func.fuzzy with parameters of type Term

Modifier and Type	Method	Description
Term	BoundedSum.evalTerm(Term val1, Term val2)
Term	LukasiewiczNorm.evalTerm(Term val1, Term val2)
Term	MaximumCoNorm.evalTerm(Term val1, Term val2)
Term	MinimumNorm.evalTerm(Term val1, Term val2)
Term	ProbabilisticSum.evalTerm(Term val1, Term val2)
Term	ProductNorm.evalTerm(Term val1, Term val2)
abstract Term	TCoNorm.evalTerm(Term val1, Term val2)	Gives a representation of this conorm as a mathematical term
abstract Term	TNorm.evalTerm(Term val1, Term val2)	Gives a representation of this norm as a mathematical term

Method parameters in net.sf.tweety.math.func.fuzzy with type arguments of type Term

Modifier and Type	Method	Description
Term	TCoNorm.evalTerm(java.util.Collection<Term> vals)	Gives a representation of this conorm as a mathematical term.
Term	TNorm.evalTerm(java.util.Collection<Term> vals)	Gives a representation of this norm as a mathematical term.

Uses of Term in net.sf.tweety.math.matrix

Methods in net.sf.tweety.math.matrix that return Term

Modifier and Type	Method	Description
Term	Matrix.getEntry(int x, int y)	Returns the entry with the given coordinates.

Methods in net.sf.tweety.math.matrix with parameters of type Term

Modifier and Type	Method	Description
Matrix	Matrix.mult(Term scalar)	Multiply this matrix with the given scalar (every entry is multiplied)
void	Matrix.setEntry(int x, int y, Term entry)	Sets the entry at the given coordinates.

Uses of Term in net.sf.tweety.math.norm

Methods in net.sf.tweety.math.norm that return Term

Modifier and Type	Method	Description
abstract Term	AbstractRealVectorNorm.distanceTerm(java.util.Vector<Term> obj1, java.util.Vector<Term> obj2)
Term	AbstractRealVectorNorm.distanceTerm(Term[] obj1, Term[] obj2)
Term	AggregatingNorm.distanceTerm(java.util.Vector<Term> obj1, java.util.Vector<Term> obj2)
Term	AggregatingNorm.distanceTerm(Term[] obj1, Term[] obj2)
Term	EntropyNorm.distanceTerm(java.util.Vector<Term> obj1, java.util.Vector<Term> obj2)
Term	EntropyNorm.distanceTerm(Term[] obj1, Term[] obj2)
Term	ManhattanNorm.distanceTerm(java.util.Vector<Term> obj1, java.util.Vector<Term> obj2)
Term	MaximumNorm.distanceTerm(java.util.Vector<Term> obj1, java.util.Vector<Term> obj2)
Term	PNorm.distanceTerm(java.util.Vector<Term> obj1, java.util.Vector<Term> obj2)
Term	ProbabilisticAggregatingNorm.distanceTerm(java.util.Vector<Term> obj1, java.util.Vector<Term> obj2)
Term	ProbabilisticAggregatingNorm.distanceTerm(Term[] obj1, Term[] obj2)
Term	ProbabilisticPNorm.distanceTerm(java.util.Vector<Term> obj1, java.util.Vector<Term> obj2)
Term	ProbabilisticPNorm.distanceTerm(Term[] obj1, Term[] obj2)
Term	RealVectorNorm.distanceTerm(java.util.Vector<Term> obj1, java.util.Vector<Term> obj2)	The distance between the two objects as a term.
Term	RealVectorNorm.distanceTerm(Term[] obj1, Term[] obj2)	The distance between the two objects as a term.
abstract Term	AbstractRealVectorNorm.normTerm(java.util.Vector<Term> obj)
Term	AbstractRealVectorNorm.normTerm(Term[] obj)
Term	AggregatingNorm.normTerm(java.util.Vector<Term> obj)
Term	AggregatingNorm.normTerm(Term[] obj)
Term	EntropyNorm.normTerm(java.util.Vector<Term> obj)
Term	EntropyNorm.normTerm(Term[] obj)
Term	ManhattanNorm.normTerm(java.util.Vector<Term> obj)
Term	MaximumNorm.normTerm(java.util.Vector<Term> obj)
Term	PNorm.normTerm(java.util.Vector<Term> obj)
Term	ProbabilisticAggregatingNorm.normTerm(java.util.Vector<Term> obj)
Term	ProbabilisticAggregatingNorm.normTerm(Term[] obj)
Term	ProbabilisticPNorm.normTerm(java.util.Vector<Term> obj)
Term	ProbabilisticPNorm.normTerm(Term[] obj)
Term	RealVectorNorm.normTerm(java.util.Vector<Term> obj)	Returns the norm as a term of the given terms
Term	RealVectorNorm.normTerm(Term[] obj)	Returns the norm as a term of the given terms

Methods in net.sf.tweety.math.norm with parameters of type Term

Modifier and Type	Method	Description
Term	AbstractRealVectorNorm.distanceTerm(Term[] obj1, Term[] obj2)
Term	AggregatingNorm.distanceTerm(Term[] obj1, Term[] obj2)
Term	EntropyNorm.distanceTerm(Term[] obj1, Term[] obj2)
Term	ProbabilisticAggregatingNorm.distanceTerm(Term[] obj1, Term[] obj2)
Term	ProbabilisticPNorm.distanceTerm(Term[] obj1, Term[] obj2)
Term	RealVectorNorm.distanceTerm(Term[] obj1, Term[] obj2)	The distance between the two objects as a term.
Term	AbstractRealVectorNorm.normTerm(Term[] obj)
Term	AggregatingNorm.normTerm(Term[] obj)
Term	EntropyNorm.normTerm(Term[] obj)
Term	ProbabilisticAggregatingNorm.normTerm(Term[] obj)
Term	ProbabilisticPNorm.normTerm(Term[] obj)
Term	RealVectorNorm.normTerm(Term[] obj)	Returns the norm as a term of the given terms

Method parameters in net.sf.tweety.math.norm with type arguments of type Term

Modifier and Type	Method	Description
abstract Term	AbstractRealVectorNorm.distanceTerm(java.util.Vector<Term> obj1, java.util.Vector<Term> obj2)
Term	AggregatingNorm.distanceTerm(java.util.Vector<Term> obj1, java.util.Vector<Term> obj2)
Term	EntropyNorm.distanceTerm(java.util.Vector<Term> obj1, java.util.Vector<Term> obj2)
Term	ManhattanNorm.distanceTerm(java.util.Vector<Term> obj1, java.util.Vector<Term> obj2)
Term	MaximumNorm.distanceTerm(java.util.Vector<Term> obj1, java.util.Vector<Term> obj2)
Term	PNorm.distanceTerm(java.util.Vector<Term> obj1, java.util.Vector<Term> obj2)
Term	ProbabilisticAggregatingNorm.distanceTerm(java.util.Vector<Term> obj1, java.util.Vector<Term> obj2)
Term	ProbabilisticPNorm.distanceTerm(java.util.Vector<Term> obj1, java.util.Vector<Term> obj2)
Term	RealVectorNorm.distanceTerm(java.util.Vector<Term> obj1, java.util.Vector<Term> obj2)	The distance between the two objects as a term.
abstract Term	AbstractRealVectorNorm.normTerm(java.util.Vector<Term> obj)
Term	AggregatingNorm.normTerm(java.util.Vector<Term> obj)
Term	EntropyNorm.normTerm(java.util.Vector<Term> obj)
Term	ManhattanNorm.normTerm(java.util.Vector<Term> obj)
Term	MaximumNorm.normTerm(java.util.Vector<Term> obj)
Term	PNorm.normTerm(java.util.Vector<Term> obj)
Term	ProbabilisticAggregatingNorm.normTerm(java.util.Vector<Term> obj)
Term	ProbabilisticPNorm.normTerm(java.util.Vector<Term> obj)
Term	RealVectorNorm.normTerm(java.util.Vector<Term> obj)	Returns the norm as a term of the given terms

Uses of Term in net.sf.tweety.math.opt.problem

Methods in net.sf.tweety.math.opt.problem that return Term

Modifier and Type	Method	Description
Term	OptimizationProblem.getTargetFunction()	Returns the target function of this problem.

Methods in net.sf.tweety.math.opt.problem with parameters of type Term

Modifier and Type	Method	Description
void	OptimizationProblem.setTargetFunction(Term targetFunction)	Sets the target function of this problem.

Uses of Term in net.sf.tweety.math.opt.rootFinder

Methods in net.sf.tweety.math.opt.rootFinder that return types with arguments of type Term

Modifier and Type	Method	Description
java.util.List<Term>	RootFinder.getFunctions()	Returns the function of this root finder.
java.util.Map<Variable,Term>	RootFinder.getStartingPoint()	Returns the starting point of this finder.
java.util.Map<Variable,Term>	BfgsRootFinder.randomRoot(java.util.List<Term> functions, java.util.Map<Variable,Term> startingPoint)
java.util.Map<Variable,Term>	GradientDescentRootFinder.randomRoot(java.util.List<Term> functions, java.util.Map<Variable,Term> startingPoint)
java.util.Map<Variable,Term>	HessianGradientDescentRootFinder.randomRoot(java.util.List<Term> functions, java.util.Map<Variable,Term> startingPoint)
java.util.Map<Variable,Term>	NewtonRootFinder.randomRoot(java.util.List<Term> functions, java.util.Map<Variable,Term> startingPoint)
abstract java.util.Map<Variable,Term>	OptimizationRootFinder.randomRoot(java.util.List<Term> functions, java.util.Map<Variable,Term> startingPoint)
abstract java.util.Map<Variable,Term>	RootFinder.randomRoot(java.util.List<Term> functions, java.util.Map<Variable,Term> startingPoint)	Determines the values for the variables appearing in the function such the function evaluates to zero.

Method parameters in net.sf.tweety.math.opt.rootFinder with type arguments of type Term

Modifier and Type	Method	Description
java.util.Map<Variable,Term>	BfgsRootFinder.randomRoot(java.util.List<Term> functions, java.util.Map<Variable,Term> startingPoint)
java.util.Map<Variable,Term>	BfgsRootFinder.randomRoot(java.util.List<Term> functions, java.util.Map<Variable,Term> startingPoint)
java.util.Map<Variable,Term>	GradientDescentRootFinder.randomRoot(java.util.List<Term> functions, java.util.Map<Variable,Term> startingPoint)
java.util.Map<Variable,Term>	GradientDescentRootFinder.randomRoot(java.util.List<Term> functions, java.util.Map<Variable,Term> startingPoint)
java.util.Map<Variable,Term>	HessianGradientDescentRootFinder.randomRoot(java.util.List<Term> functions, java.util.Map<Variable,Term> startingPoint)
java.util.Map<Variable,Term>	HessianGradientDescentRootFinder.randomRoot(java.util.List<Term> functions, java.util.Map<Variable,Term> startingPoint)
java.util.Map<Variable,Term>	NewtonRootFinder.randomRoot(java.util.List<Term> functions, java.util.Map<Variable,Term> startingPoint)
java.util.Map<Variable,Term>	NewtonRootFinder.randomRoot(java.util.List<Term> functions, java.util.Map<Variable,Term> startingPoint)
abstract java.util.Map<Variable,Term>	OptimizationRootFinder.randomRoot(java.util.List<Term> functions, java.util.Map<Variable,Term> startingPoint)
abstract java.util.Map<Variable,Term>	OptimizationRootFinder.randomRoot(java.util.List<Term> functions, java.util.Map<Variable,Term> startingPoint)
abstract java.util.Map<Variable,Term>	RootFinder.randomRoot(java.util.List<Term> functions, java.util.Map<Variable,Term> startingPoint)	Determines the values for the variables appearing in the function such the function evaluates to zero.
abstract java.util.Map<Variable,Term>	RootFinder.randomRoot(java.util.List<Term> functions, java.util.Map<Variable,Term> startingPoint)	Determines the values for the variables appearing in the function such the function evaluates to zero.
void	RootFinder.setStartingPoint(java.util.Map<Variable,Term> startingPoint)	sets the starting point of this root finder.

Constructor parameters in net.sf.tweety.math.opt.rootFinder with type arguments of type Term

Constructor	Description
OptimizationRootFinder(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) function
OptimizationRootFinder(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) function
RootFinder(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) function
RootFinder(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) function

Uses of Term in net.sf.tweety.math.opt.solver

Methods in net.sf.tweety.math.opt.solver that return types with arguments of type Term

Modifier and Type	Method	Description
java.util.Map<Variable,Term>	SimulatedAnnealingOnConstrProb.chooseANeighbor(java.util.Map<Variable,Term> currSol, int minIterations, int maxIterations, double threshold)
java.util.Map<Variable,Term>	TabuSearchOnConstrProb.chooseANeighbor(java.util.Map<Variable,Term> currSol, int minIterations, int maxIterations, double threshold)
java.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 constraintSatisfactionProblem)
java.util.Map<Variable,Term>	HessianGradientDescent.solve(ConstraintSatisfactionProblem problem)
java.util.Map<Variable,Term>	LagrangeSolver.solve(ConstraintSatisfactionProblem prob)
java.util.Map<Variable,Term>	LpSolve.solve(ConstraintSatisfactionProblem problem)
java.util.Map<Variable,Term>	OctaveSqpSolver.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).
java.util.Map<Variable,Term>	SimulatedAnnealingOnConstrProb.solve(ConstraintSatisfactionProblem problem)
abstract java.util.Map<Variable,Term>	Solver.solve(ConstraintSatisfactionProblem problem)	Computes a solution to the given constraint satisfaction or optimization problem, i.e.
java.util.Map<Variable,Term>	TabuSearchOnConstrProb.solve(ConstraintSatisfactionProblem problem)

Methods in net.sf.tweety.math.opt.solver with parameters of type Term

Modifier and Type	Method	Description
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>	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 Term

Modifier and Type	Method	Description
java.util.Map<Variable,Term>	SimulatedAnnealingOnConstrProb.chooseANeighbor(java.util.Map<Variable,Term> currSol, int minIterations, int maxIterations, double threshold)
java.util.Map<Variable,Term>	TabuSearchOnConstrProb.chooseANeighbor(java.util.Map<Variable,Term> currSol, int minIterations, int maxIterations, double threshold)

Constructor parameters in net.sf.tweety.math.opt.solver with type arguments of type Term

Constructor	Description
BfgsSolver(java.util.Map<Variable,Term> startingPoint)
GradientDescent(java.util.Map<Variable,Term> startingPoint)	Creates a new gradient descent solver
HessianGradientDescent(java.util.Map<Variable,Term> startingPoint)
LagrangeSolver(java.util.Map<Variable,Term> startingPoint)	Creates a new Lagrange solver for the given optimization problem
LagrangeSolver(java.util.Set<java.util.Map<Variable,Term>> startingPoints)	Creates a new Lagrange solver for the given optimization problem

Uses of Term in net.sf.tweety.math.term

Subclasses of Term in net.sf.tweety.math.term

Modifier and Type	Class	Description
class	AbsoluteValue	This class models the absolute value of the inner term.
class	AssociativeOperation
class	BinaryVariable	This class models a binary variable as a mathematical term.
class	Constant	This class models an abstract constant, e.g.
class	Difference	This class models a difference between two terms.
class	Exp	This class represents an exponential expression by "e".
class	FloatConstant	This class encapsulates a float as a term.
class	FloatVariable	This class models an float variable as a mathematical term.
class	Fraction	Instances of this class represent fractions of two terms.
class	FunctionalTerm	Instances of this class represent a functional term on some inner term.
class	IntegerConstant	This class encapsulates an integer as a term.
class	IntegerVariable	This class models an integer variable as a mathematical term.
class	Logarithm	Instances of this class represent application of the logarithm function on some term.
class	Maximum	This class models the maximum of two terms.
class	Minimum	This class models the minimum of two terms.
class	Power	This class represents a term raised to some power.
class	Product	This class models a product of two terms.
class	Root	This class represents a the nth root function
class	Sum	This class models a sum of two terms.
class	Variable	This class models a variable as a mathematical term.

Methods in net.sf.tweety.math.term that return Term

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)
Term	FunctionalTerm.getTerm()	Returns the inner term.
Term	Term.min(Term t)	Returns the minimum of this and the given term.
Term	Term.replaceAllTerms(double[] values, java.util.List<Variable> variables)	Replaces terms according to the given map.
Term	Term.replaceAllTerms(java.util.Map<? extends Term,? extends Term> substitutes)	Replaces terms according to the given map.
Term	AbsoluteValue.replaceTerm(Term toSubstitute, Term substitution)
Term	Constant.replaceTerm(Term toSubstitute, Term substitution)
Term	Difference.replaceTerm(Term toSubstitute, Term substitution)
Term	Exp.replaceTerm(Term toSubstitute, Term substitution)
Term	Fraction.replaceTerm(Term toSubstitute, Term substitution)
abstract Term	FunctionalTerm.replaceTerm(Term toSubstitute, Term substitution)
Term	Logarithm.replaceTerm(Term toSubstitute, Term substitution)
Term	Maximum.replaceTerm(Term toSubstitute, Term substitution)
Term	Minimum.replaceTerm(Term toSubstitute, Term substitution)
Term	Power.replaceTerm(Term toSubstitute, Term substitution)
Term	Product.replaceTerm(Term toSubstitute, Term substitution)
Term	Root.replaceTerm(Term toSubstitute, Term substitution)
Term	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.
Term	Variable.replaceTerm(Term toSubstitute, Term substitution)
Term	AbsoluteValue.simplify()
Term	Constant.simplify()
Term	Difference.simplify()
Term	Exp.simplify()
Term	Fraction.simplify()
Term	Logarithm.simplify()
Term	Maximum.simplify()
Term	Minimum.simplify()
Term	Power.simplify()
Term	Product.simplify()
Term	Root.simplify()
Term	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.
Term	Variable.simplify()

Methods in net.sf.tweety.math.term that return types with arguments of type Term

Modifier and Type	Method	Description
java.util.List<Term>	AssociativeOperation.getTerms()	Returns the terms of this operation.

Methods in net.sf.tweety.math.term with parameters of type Term

Modifier and Type	Method	Description
Sum	Term.add(Term t)	Returns the sum of this and the given term.
void	AssociativeOperation.addTerm(Term t)	Adds the given term to this operation.
Term	Term.min(Term t)	Returns the minimum of this and the given term.
Difference	Term.minus(Term t)	Returns the sum of this and (-1) * the given term.
Product	Term.mult(Term t)	Returns the product of this and the given term.
void	AssociativeOperation.removeTerm(Term t)	Removes the given term from this operation.
Term	AbsoluteValue.replaceTerm(Term toSubstitute, Term substitution)
Term	Constant.replaceTerm(Term toSubstitute, Term substitution)
Term	Difference.replaceTerm(Term toSubstitute, Term substitution)
Term	Exp.replaceTerm(Term toSubstitute, Term substitution)
Term	Fraction.replaceTerm(Term toSubstitute, Term substitution)
abstract Term	FunctionalTerm.replaceTerm(Term toSubstitute, Term substitution)
Term	Logarithm.replaceTerm(Term toSubstitute, Term substitution)
Term	Maximum.replaceTerm(Term toSubstitute, Term substitution)
Term	Minimum.replaceTerm(Term toSubstitute, Term substitution)
Term	Power.replaceTerm(Term toSubstitute, Term substitution)
Term	Product.replaceTerm(Term toSubstitute, Term substitution)
Term	Root.replaceTerm(Term toSubstitute, Term substitution)
Term	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.
Term	Variable.replaceTerm(Term toSubstitute, Term substitution)

Method parameters in net.sf.tweety.math.term with type arguments of type Term

Modifier and Type	Method	Description
void	AssociativeOperation.addAllTerm(java.util.Collection<Term> terms)	Adds all the given terms of this operation.
static double[][]	Term.evaluateMatrix(java.util.List<java.util.List<Term>> functions, double[] values, java.util.List<Variable> variables)	Evaluates each function in the given matrix with the given values for variables.
static double[]	Term.evaluateVector(java.util.List<Term> functions, double[] values, java.util.List<Variable> variables)	Evaluates each function in the given list with the given values for variables.
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.
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(java.util.Map<? extends Term,? extends Term> substitutes)	Replaces terms according to the given map.
Term	Term.replaceAllTerms(java.util.Map<? extends Term,? extends Term> substitutes)	Replaces terms according to the given map.

Constructors in net.sf.tweety.math.term with parameters of type Term

Constructor	Description
AbsoluteValue(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.
Exp(Term term)	Creates a new exponential term with the given term.
Fraction(Term nominator, Term denominator)	Creates a new fraction of the two given terms.
FunctionalTerm(Term term)	Creates a new functional term with the given inner term.
Logarithm(Term term)	Creates a new logarithm term for the give inner term.
Maximum(Term first, Term second)	Creates a new maximum with the given terms.
Minimum(Term first, Term second)	Creates a new minimum with the given terms.
Power(Term term, Term power)	Creates a new power term with the given term and power.
Product(Term first, Term second)	Creates a new product with the given terms.
Root(Term term)	Creates a new square root.
Root(Term term, Term base)	Creates a new root for the given base.
Sum(Term first, Term second)	Creates a new sum with the given terms.

Constructor parameters in net.sf.tweety.math.term with type arguments of type Term

Constructor	Description
AssociativeOperation(java.util.Collection<? extends Term> terms)	Creates a new operation with the given list of terms.
Maximum(java.util.List<Term> terms)	Creates a new maximum with the given list of terms.
Minimum(java.util.List<Term> terms)	Creates a new minimum with the given list of terms.
Product(java.util.Collection<? extends Term> terms)	Creates a new product with the given list of terms.
Sum(java.util.Collection<? extends Term> terms)	Creates a new sum with the given list of terms.