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

Field Summary

Fields
Modifier and Type Field and Description

private Term denominator
The denominator of the fraction.

private Term nominator
The nominator of the fraction.

Fields
Modifier and Type	Field and Description
`private Term`	`denominator` The denominator of the fraction.
`private Term`	`nominator` The nominator of the fraction.

Constructor Summary

Constructors
Constructor and Description

Fraction(Term nominator, Term denominator)
Creates a new fraction of the two given terms.

Constructors
Constructor and Description
`Fraction(Term nominator, Term denominator)` Creates a new fraction of the two given terms.

Method Summary

All Methods Instance Methods Concrete Methods
Modifier and Type	Method and 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

Methods inherited from class java.lang.Object
clone, equals, finalize, getClass, hashCode, notify, notifyAll, wait, wait, wait

- Field Detail
  - nominator
```
private Term nominator
```
    The nominator of the fraction.
  - denominator
```
private Term denominator
```
    The denominator of the fraction.
- Constructor Detail
  - Fraction
```
public Fraction(Term nominator,
                Term denominator)
```
    Creates a new fraction of the two given terms.
    
    Parameters:
    
    nominator - a term.
    
    denominator - a term.
- 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 class Term
  - 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 class Term
    
    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 class Term
  - getAbsoluteValues
```
public java.util.Set<AbsoluteValue> getAbsoluteValues()
```
    Description copied from class: Term
    
    Returns all absolute values of this term.
    
    Specified by:
    
    getAbsoluteValues in class Term
    
    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 class Term
    
    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 class Term
    
    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 class Term
    
    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 class Term
    
    Returns:
    
    all variables in this term.
  - isInteger
```
public boolean isInteger()
```
    Description copied from class: Term
    
    Checks whether this term represents an integer value.
    
    Specified by:
    
    isInteger in class Term
    
    Returns:
    
    "true" iff 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 class Term
    
    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 class Term
    
    Parameters:
    
    toSubstitute - the term to be substituted
    
    substitution - 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.
    
    Specified by:
    
    simplify in class Term
    
    Returns:
    
    the simplified term.
  - 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 class Term
    
    Returns:
    
    a term in linear normal form.
    
    Throws:
    
    java.lang.IllegalArgumentException - if this term cannot be converted into a linear normal form.
  - toString
```
public java.lang.String toString()
```
    Specified by:
    
    toString in class Term
  - value
```
public Constant value()
               throws java.lang.IllegalArgumentException
```
    Description copied from class: Term
    
    Computes the actual value of this term if it contains no variables.
    
    Specified by:
    
    value in class Term
    
    Returns:
    
    the value of this term, either a float or an integer.
    
    Throws:
    
    java.lang.IllegalArgumentException - if this term contains at least on variable.

Class Fraction

Field Summary

Constructor Summary

Method Summary

Methods inherited from class net.sf.tweety.math.term.Term

Methods inherited from class java.lang.Object

Field Detail

nominator

denominator

Constructor Detail

Fraction

Method Detail

collapseAssociativeOperations

derive

expandAssociativeOperations

getAbsoluteValues

getMinimums

getMaximums

getProducts

getVariables

isInteger

isContinuous

replaceTerm

simplify

toLinearForm

toString

value