Modifier and Type | Field and Description |
---|---|
private Term |
term
The inner term of this operation.
|
Constructor and Description |
---|
FunctionalTerm(Term term)
Creates a new functional term with the given inner term.
|
Modifier and Type | Method and Description |
---|---|
void |
collapseAssociativeOperations()
This method collapses all associative operations appearing
in this term, e.g.
|
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.
|
Term |
getTerm()
Returns the inner term.
|
java.util.Set<Variable> |
getVariables()
Returns all variables in this term.
|
boolean |
isInteger()
Checks whether this term represents an integer value.
|
abstract Term |
replaceTerm(Term toSubstitute,
Term substitution)
Replaces each occurrence of "toSubstitute" by "substitution" and
return the new term.
|
Sum |
toLinearForm()
Converts this term into a linear normal form, i.e.
|
abstract java.lang.String |
toString() |
abstract Constant |
value()
Computes the actual value of this term if it contains no variables.
|
add, derive, doubleValue, evaluateMatrix, evaluateVector, evaluateVector, isContinuous, isContinuous, isLinear, min, minus, mult, replaceAllTerms, replaceAllTerms, simplify
private Term term
public FunctionalTerm(Term term)
term
- a termpublic Term getTerm()
public void collapseAssociativeOperations()
Term
collapseAssociativeOperations
in class Term
public void expandAssociativeOperations()
Term
expandAssociativeOperations
in class Term
public java.util.Set<Minimum> getMinimums()
Term
getMinimums
in class Term
public java.util.Set<Maximum> getMaximums()
Term
getMaximums
in class Term
public java.util.Set<Product> getProducts()
Term
getProducts
in class Term
public java.util.Set<Variable> getVariables()
Term
getVariables
in class Term
public java.util.Set<AbsoluteValue> getAbsoluteValues()
Term
getAbsoluteValues
in class Term
public boolean isInteger()
Term
public Sum toLinearForm() throws java.lang.IllegalArgumentException
Term
toLinearForm
in class Term
java.lang.IllegalArgumentException
- if this term cannot be
converted into a linear normal form.public abstract Term replaceTerm(Term toSubstitute, Term substitution)
Term
replaceTerm
in class Term
toSubstitute
- the term to be substitutedsubstitution
- the new term