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

Packages that use Term

Package	Description
net.sf.tweety.math.equation
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
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 and 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 and Description
abstract Statement	Statement.replaceTerm(Term toSubstitute, Term substitution) Replaces each occurrence of "toSubstitute" by "substitution" and return the new statement.
Statement	Inequation.replaceTerm(Term toSubstitute, Term substitution)
Statement	Equation.replaceTerm(Term toSubstitute, Term substitution)
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 and Description
Statement	Statement.replaceAllTerms(Map<? extends Term,? extends Term> substitutes) Replaces terms according to the given map.
Statement	Statement.replaceAllTerms(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 and 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.func

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

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

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

Modifier and Type	Method and Description
Term	SimpleRealValuedFunction.getTerm(Vector<Term> element)
Term	EntropyFunction.getTerm(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 and Description
Term	TNorm.evalTerm(Collection<Term> vals) Gives a representation of this norm as a mathematical term.
Term	TCoNorm.evalTerm(Collection<Term> vals) 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
Term	ProbabilisticSum.evalTerm(Term val1, Term val2)
Term	MinimumNorm.evalTerm(Term val1, Term val2)
Term	LukasiewiczNorm.evalTerm(Term val1, Term val2)
Term	MaximumCoNorm.evalTerm(Term val1, Term val2)
Term	ProductNorm.evalTerm(Term val1, Term val2)
Term	BoundedSum.evalTerm(Term val1, Term val2)
abstract Term	TCoNorm.evalTerm(Term val1, Term val2) Gives a representation of this conorm as a mathematical term

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

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

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

Modifier and Type	Method and Description
Term	TNorm.evalTerm(Collection<Term> vals) Gives a representation of this norm as a mathematical term.
Term	TCoNorm.evalTerm(Collection<Term> vals) Gives a representation of this conorm 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 and 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 and 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 and Description
Term	RealVectorNorm.distanceTerm(Term[] obj1, Term[] obj2) The distance between the two objects as a term.
Term	AbstractRealVectorNorm.distanceTerm(Term[] obj1, Term[] obj2)
Term	EntropyNorm.distanceTerm(Term[] obj1, Term[] obj2)
Term	RealVectorNorm.distanceTerm(Vector<Term> obj1, Vector<Term> obj2) The distance between the two objects as a term.
Term	MaximumNorm.distanceTerm(Vector<Term> obj1, Vector<Term> obj2)
abstract Term	AbstractRealVectorNorm.distanceTerm(Vector<Term> obj1, Vector<Term> obj2)
Term	PNorm.distanceTerm(Vector<Term> obj1, Vector<Term> obj2)
Term	EntropyNorm.distanceTerm(Vector<Term> obj1, Vector<Term> obj2)
Term	ManhattanNorm.distanceTerm(Vector<Term> obj1, Vector<Term> obj2)
Term	RealVectorNorm.normTerm(Term[] obj) Returns the norm as a term of the given terms
Term	AbstractRealVectorNorm.normTerm(Term[] obj)
Term	EntropyNorm.normTerm(Term[] obj)
Term	RealVectorNorm.normTerm(Vector<Term> obj) Returns the norm as a term of the given terms
Term	MaximumNorm.normTerm(Vector<Term> obj)
abstract Term	AbstractRealVectorNorm.normTerm(Vector<Term> obj)
Term	PNorm.normTerm(Vector<Term> obj)
Term	EntropyNorm.normTerm(Vector<Term> obj)
Term	ManhattanNorm.normTerm(Vector<Term> obj)

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

Modifier and Type	Method and Description
Term	RealVectorNorm.distanceTerm(Term[] obj1, 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.
Term	AbstractRealVectorNorm.distanceTerm(Term[] obj1, Term[] obj2)
Term	AbstractRealVectorNorm.distanceTerm(Term[] obj1, Term[] obj2)
Term	EntropyNorm.distanceTerm(Term[] obj1, Term[] obj2)
Term	EntropyNorm.distanceTerm(Term[] obj1, Term[] obj2)
Term	RealVectorNorm.normTerm(Term[] obj) Returns the norm as a term of the given terms
Term	AbstractRealVectorNorm.normTerm(Term[] obj)
Term	EntropyNorm.normTerm(Term[] obj)

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

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

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

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

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

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

Modifier and Type	Method and Description
List<Term>	RootFinder.getFunctions() Returns the function of this root finder.
Map<Variable,Term>	RootFinder.getStartingPoint() Returns the starting point of this finder.
Map<Variable,Term>	NewtonRootFinder.randomRoot()
Map<Variable,Term>	BfgsRootFinder.randomRoot()
Map<Variable,Term>	GradientDescentRootFinder.randomRoot()
Map<Variable,Term>	HessianGradientDescentRootFinder.randomRoot()
Map<Variable,Term>	OpenOptRootFinder.randomRoot()
Map<Variable,Term>	LbfgsRootFinder.randomRoot()
abstract Map<Variable,Term>	OptimizationRootFinder.randomRoot()
abstract Map<Variable,Term>	RootFinder.randomRoot() Determines the values for the variables appearing in the function such the function evaluates to zero.
abstract Map<Variable,Term>	Solver.solve(ConstraintSatisfactionProblem problem) Computes a solution to the given constraint satisfaction or optimization problem, i.e.

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

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

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

Modifier and Type	Method and Description
void	RootFinder.setStartingPoint(Map<Variable,Term> startingPoint) sets the starting point of this root finder.

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

Constructor and Description
BfgsRootFinder(Term function, Map<Variable,Term> startingPoint) Creates a new root finder for the given starting point and the given function
GradientDescentRootFinder(Term function, Map<Variable,Term> startingPoint) Creates a new root finder for the given starting point and the given function
HessianGradientDescentRootFinder(Term function, Map<Variable,Term> startingPoint) Creates a new root finder for the given starting point and the given function
LbfgsRootFinder(Term function, Map<Variable,Term> startingPoint) Creates a new root finder for the given starting point and the given function
NewtonRootFinder(Term function, Map<Variable,Term> startingPoint) Creates a new Newton root finder for the given starting point and the given function
OpenOptRootFinder(Term function, Map<Variable,Term> startingPoint) Creates a new root finder for the given starting point and the given function
OptimizationRootFinder(Term function) Creates a new root finder for the given function.
OptimizationRootFinder(Term function, Map<Variable,Term> startingPoint) Creates a new root finder for the given starting point and the given function
RootFinder(Term function) Creates a new root finder for the given function.
RootFinder(Term function, Map<Variable,Term> startingPoint) Creates a new root finder for the given starting point and the given function

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

Constructor and Description
BfgsRootFinder(List<Term> functions, Map<Variable,Term> startingPoint) Creates a new root finder for the given starting point and the given (multi-dimensional) function
BfgsRootFinder(List<Term> functions, Map<Variable,Term> startingPoint) Creates a new root finder for the given starting point and the given (multi-dimensional) function
BfgsRootFinder(Term function, Map<Variable,Term> startingPoint) Creates a new root finder for the given starting point and the given function
GradientDescentRootFinder(List<Term> functions, Map<Variable,Term> startingPoint) Creates a new root finder for the given starting point and the given (multi-dimensional) function
GradientDescentRootFinder(List<Term> functions, Map<Variable,Term> startingPoint) Creates a new root finder for the given starting point and the given (multi-dimensional) function
GradientDescentRootFinder(Term function, Map<Variable,Term> startingPoint) Creates a new root finder for the given starting point and the given function
HessianGradientDescentRootFinder(List<Term> functions, Map<Variable,Term> startingPoint) Creates a new root finder for the given starting point and the given (multi-dimensional) function
HessianGradientDescentRootFinder(List<Term> functions, Map<Variable,Term> startingPoint) Creates a new root finder for the given starting point and the given (multi-dimensional) function
HessianGradientDescentRootFinder(Term function, Map<Variable,Term> startingPoint) Creates a new root finder for the given starting point and the given function
LbfgsRootFinder(List<Term> functions, Map<Variable,Term> startingPoint) Creates a new root finder for the given starting point and the given (multi-dimensional) function
LbfgsRootFinder(List<Term> functions, Map<Variable,Term> startingPoint) Creates a new root finder for the given starting point and the given (multi-dimensional) function
LbfgsRootFinder(Term function, Map<Variable,Term> startingPoint) Creates a new root finder for the given starting point and the given function
NewtonRootFinder(List<Term> functions, Map<Variable,Term> startingPoint) Creates a new Newton root finder for the given starting point and the given (multi-dimensional) function
NewtonRootFinder(List<Term> functions, Map<Variable,Term> startingPoint) Creates a new Newton root finder for the given starting point and the given (multi-dimensional) function
NewtonRootFinder(Term function, Map<Variable,Term> startingPoint) Creates a new Newton root finder for the given starting point and the given function
OpenOptRootFinder(List<Term> functions, Map<Variable,Term> startingPoint) Creates a new root finder for the given starting point and the given (multi-dimensional) function
OpenOptRootFinder(List<Term> functions, Map<Variable,Term> startingPoint) Creates a new root finder for the given starting point and the given (multi-dimensional) function
OpenOptRootFinder(Term function, Map<Variable,Term> startingPoint) Creates a new root finder for the given starting point and the given function
OptimizationRootFinder(List<Term> functions, Map<Variable,Term> startingPoint) Creates a new root finder for the given starting point and the given (multi-dimensional) function
OptimizationRootFinder(List<Term> functions, Map<Variable,Term> startingPoint) Creates a new root finder for the given starting point and the given (multi-dimensional) function
OptimizationRootFinder(Term function, Map<Variable,Term> startingPoint) Creates a new root finder for the given starting point and the given function
RootFinder(List<Term> functions, Map<Variable,Term> startingPoint) Creates a new root finder for the given starting point and the given (multi-dimensional) function
RootFinder(List<Term> functions, Map<Variable,Term> startingPoint) Creates a new root finder for the given starting point and the given (multi-dimensional) function
RootFinder(Term function, Map<Variable,Term> startingPoint) Creates a new root finder for the given starting point and the given 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 and Description
protected Map<Variable,Term>	OpenOptSolver.parseOutput(String output) This method parses the output data of an OpenOpt run
Map<Variable,Term>	HessianGradientDescent.solve(ConstraintSatisfactionProblem problem)
Map<Variable,Term>	ApacheCommonsSimplex.solve(ConstraintSatisfactionProblem problem)
Map<Variable,Term>	ApacheCommonsCMAESOptimizer.solve(ConstraintSatisfactionProblem problem)
Map<Variable,Term>	OpenOptWebSolver.solve(ConstraintSatisfactionProblem problem)
Map<Variable,Term>	LpSolve.solve(ConstraintSatisfactionProblem problem)
Map<Variable,Term>	OctaveSqpSolver.solve(ConstraintSatisfactionProblem problem)
Map<Variable,Term>	LbfgsSolver.solve(ConstraintSatisfactionProblem problem)
Map<Variable,Term>	SimpleGeneticOptimizationSolver.solve(ConstraintSatisfactionProblem problem)
Map<Variable,Term>	LagrangeSolver.solve(ConstraintSatisfactionProblem prob)
Map<Variable,Term>	BfgsSolver.solve(ConstraintSatisfactionProblem problem)
Map<Variable,Term>	OpenOptSolver.solve(ConstraintSatisfactionProblem problem)
Map<Variable,Term>	GlpkSolver.solve(ConstraintSatisfactionProblem problem)
Map<Variable,Term>	GradientDescent.solve(ConstraintSatisfactionProblem problem)
Map<Variable,Term>	ApacheCommonsNonLinearConjugateGradientOptimizer.solve(ConstraintSatisfactionProblem problem)
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).
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).

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

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

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

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

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

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

Modifier and Type	Class and 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 and Description
Term	Variable.derive(Variable v)
abstract Term	Term.derive(Variable v) Differentiates the term with respect to the given variable.
Term	Product.derive(Variable v)
Term	Difference.derive(Variable v)
Term	Minimum.derive(Variable v)
Term	Sum.derive(Variable v)
Term	Maximum.derive(Variable v)
Term	Root.derive(Variable v)
Term	Exp.derive(Variable v)
Term	Fraction.derive(Variable v)
Term	AbsoluteValue.derive(Variable v)
Term	Logarithm.derive(Variable v)
Term	Constant.derive(Variable v)
Term	Power.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, List<Variable> variables) Replaces terms according to the given map.
Term	Term.replaceAllTerms(Map<? extends Term,? extends Term> substitutes) Replaces terms according to the given map.
Term	Variable.replaceTerm(Term toSubstitute, Term substitution)
abstract Term	FunctionalTerm.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	Product.replaceTerm(Term toSubstitute, Term substitution)
Term	Difference.replaceTerm(Term toSubstitute, Term substitution)
Term	Minimum.replaceTerm(Term toSubstitute, Term substitution)
Term	Sum.replaceTerm(Term toSubstitute, Term substitution)
Term	Maximum.replaceTerm(Term toSubstitute, Term substitution)
Term	Root.replaceTerm(Term toSubstitute, Term substitution)
Term	Exp.replaceTerm(Term toSubstitute, Term substitution)
Term	Fraction.replaceTerm(Term toSubstitute, Term substitution)
Term	AbsoluteValue.replaceTerm(Term toSubstitute, Term substitution)
Term	Logarithm.replaceTerm(Term toSubstitute, Term substitution)
Term	Constant.replaceTerm(Term toSubstitute, Term substitution)
Term	Power.replaceTerm(Term toSubstitute, Term substitution)
Term	Variable.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	Product.simplify()
Term	Difference.simplify()
Term	Minimum.simplify()
Term	Sum.simplify()
Term	Maximum.simplify()
Term	Root.simplify()
Term	Exp.simplify()
Term	Fraction.simplify()
Term	AbsoluteValue.simplify()
Term	Logarithm.simplify()
Term	Constant.simplify()
Term	Power.simplify()

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

Modifier and Type	Method and Description
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 and 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	Variable.replaceTerm(Term toSubstitute, Term substitution)
abstract Term	FunctionalTerm.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	Product.replaceTerm(Term toSubstitute, Term substitution)
Term	Difference.replaceTerm(Term toSubstitute, Term substitution)
Term	Minimum.replaceTerm(Term toSubstitute, Term substitution)
Term	Sum.replaceTerm(Term toSubstitute, Term substitution)
Term	Maximum.replaceTerm(Term toSubstitute, Term substitution)
Term	Root.replaceTerm(Term toSubstitute, Term substitution)
Term	Exp.replaceTerm(Term toSubstitute, Term substitution)
Term	Fraction.replaceTerm(Term toSubstitute, Term substitution)
Term	AbsoluteValue.replaceTerm(Term toSubstitute, Term substitution)
Term	Logarithm.replaceTerm(Term toSubstitute, Term substitution)
Term	Constant.replaceTerm(Term toSubstitute, Term substitution)
Term	Power.replaceTerm(Term toSubstitute, Term substitution)

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

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