public class Equation extends Statement
Constructor and Description |
---|
Equation(Term leftTerm,
Term rightTerm)
Creates a new equation with the given terms.
|
Modifier and Type | Method and Description |
---|---|
java.lang.String |
getRelationSymbol()
Returns the relation symbol of this statement.
|
boolean |
isNormalized()
Checks whether this constraint is of normalized form, i.e.
|
Statement |
replaceTerm(Term toSubstitute,
Term substitution)
Replaces each occurrence of "toSubstitute" by "substitution" and
return the new statement.
|
Statement |
toLinearForm()
Brings both terms into linear form.
|
Statement |
toNormalizedForm()
Normalizes this constraint, i.e.
|
collapseAssociativeOperations, expandAssociativeOperations, getAbsoluteValues, getLeftTerm, getMaximums, getMinimums, getRightTerm, replaceAllTerms, setLeftTerm, setRightTerm, toString
public Statement replaceTerm(Term toSubstitute, Term substitution)
Statement
replaceTerm
in class Statement
toSubstitute
- the term to be substitutedsubstitution
- the new termpublic boolean isNormalized()
Statement
isNormalized
in class Statement
public Statement toNormalizedForm()
Statement
toNormalizedForm
in class Statement
public Statement toLinearForm()
Statement
toLinearForm
in class Statement
public java.lang.String getRelationSymbol()
Statement
getRelationSymbol
in class Statement