Package net.sf.tweety.math.term
Class Fraction
- java.lang.Object
-
- net.sf.tweety.math.term.Term
-
- net.sf.tweety.math.term.Fraction
-
public class Fraction extends Term
Instances of this class represent fractions of two terms.- Author:
- Matthias Thimm
-
-
Method Summary
Modifier and Type Method Description void
collapseAssociativeOperations()
This method collapses all associative operations appearing in this term, e.g.Term
derive(Variable v)
Differentiates the term with respect to the given variable.void
expandAssociativeOperations()
This method expands all associative operations appearing in this term, e.g.java.util.Set<AbsoluteValue>
getAbsoluteValues()
Returns all absolute values of this term.java.util.Set<Maximum>
getMaximums()
Returns all maximums of this term.java.util.Set<Minimum>
getMinimums()
Returns all minimums of this term.java.util.Set<Product>
getProducts()
Returns all products of this term.java.util.Set<Variable>
getVariables()
Returns all variables in this term.boolean
isContinuous(Variable v)
Checks whether this term is continuous in v.boolean
isInteger()
Checks whether this term represents an integer value.Term
replaceTerm(Term toSubstitute, Term substitution)
Replaces each occurrence of "toSubstitute" by "substitution" and return the new 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.Sum
toLinearForm()
Converts this term into a linear normal form, i.e.java.lang.String
toString()
Constant
value()
Computes the actual value of this term if it contains no variables.-
Methods inherited from class net.sf.tweety.math.term.Term
add, doubleValue, evaluateMatrix, evaluateVector, evaluateVector, isContinuous, isLinear, min, minus, mult, replaceAllTerms, replaceAllTerms
-
-
-
-
Method Detail
-
collapseAssociativeOperations
public void collapseAssociativeOperations()
Description copied from class:Term
This method collapses all associative operations appearing in this term, e.g. every min{min{a,b},c} becomes min{a,b,c}.- Specified by:
collapseAssociativeOperations
in classTerm
-
derive
public Term derive(Variable v) throws NonDifferentiableException
Description copied from class:Term
Differentiates the term with respect to the given variable.- Specified by:
derive
in classTerm
- Parameters:
v
- a variable.- Returns:
- the derivation of this term wrt. the given variable.
- Throws:
NonDifferentiableException
- if the term cannot be differentiated.
-
expandAssociativeOperations
public void expandAssociativeOperations()
Description copied from class:Term
This method expands all associative operations appearing in this term, e.g. every min{a,b,c} becomes min{min{a,b},c}.- Specified by:
expandAssociativeOperations
in classTerm
-
getAbsoluteValues
public java.util.Set<AbsoluteValue> getAbsoluteValues()
Description copied from class:Term
Returns all absolute values of this term.- Specified by:
getAbsoluteValues
in classTerm
- Returns:
- all absolute values of this term.
-
getMinimums
public java.util.Set<Minimum> getMinimums()
Description copied from class:Term
Returns all minimums of this term.- Specified by:
getMinimums
in classTerm
- Returns:
- all minimums of this term.
-
getMaximums
public java.util.Set<Maximum> getMaximums()
Description copied from class:Term
Returns all maximums of this term.- Specified by:
getMaximums
in classTerm
- Returns:
- all maximums of this term.
-
getProducts
public java.util.Set<Product> getProducts()
Description copied from class:Term
Returns all products of this term.- Specified by:
getProducts
in classTerm
- Returns:
- all products of this term.
-
getVariables
public java.util.Set<Variable> getVariables()
Description copied from class:Term
Returns all variables in this term.- Specified by:
getVariables
in classTerm
- Returns:
- all variables in this term.
-
isInteger
public boolean isInteger()
Description copied from class:Term
Checks whether this term represents an integer value.
-
isContinuous
public boolean isContinuous(Variable v)
Description copied from class:Term
Checks whether this term is continuous in v.- Specified by:
isContinuous
in classTerm
- Parameters:
v
- a variable- Returns:
- "true" iff this term is continuous in v.
-
replaceTerm
public Term replaceTerm(Term toSubstitute, Term substitution)
Description copied from class:Term
Replaces each occurrence of "toSubstitute" by "substitution" and return the new term.- Specified by:
replaceTerm
in classTerm
- Parameters:
toSubstitute
- the term to be substitutedsubstitution
- the new term- Returns:
- this term where "toSubstitute" is replaced by "substitution"
-
simplify
public Term simplify()
Description copied from class:Term
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.
-
toLinearForm
public Sum toLinearForm() throws java.lang.IllegalArgumentException
Description copied from class:Term
Converts this term into a linear normal form, i.e. into a sum of products of a constant and a variable.- Specified by:
toLinearForm
in classTerm
- Returns:
- a term in linear normal form.
- Throws:
java.lang.IllegalArgumentException
- if this term cannot be converted into a linear normal form.
-
-