Package org.tweetyproject.math.equation

Class Equation

java.lang.Object

org.tweetyproject.math.term.OptProbElement

org.tweetyproject.math.equation.Statement

org.tweetyproject.math.equation.Equation

public class Equation
extends Statement

This class represent an equation of two terms.

Author:

Matthias Thimm

Constructor Summary

Constructors

Constructor	Description
Equation(Term leftTerm, Term rightTerm)	Creates a new equation with the given terms.

Method Summary

Modifier and Type	Method	Description
String	getRelationSymbol()	Returns the relation symbol of this statement.
boolean	isNormalized()	Checks whether this constraint is of normalized form, i.e.
boolean	isValid(Statement s)	checks if a Statement fulfills the relation
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.

Methods inherited from class org.tweetyproject.math.equation.Statement

collapseAssociativeOperations, expandAssociativeOperations, getAbsoluteValues, getLeftTerm, getMaximums, getMinimums, getRightTerm, replaceAllTerms, setLeftTerm, setRightTerm, toString

Methods inherited from class java.lang.Object

equals, getClass, hashCode, notify, notifyAll, wait, wait, wait

Constructor Details

Equation

public Equation(Term leftTerm,
 Term rightTerm)

Creates a new equation with the given terms.

Parameters:

leftTerm - a term.

rightTerm - a term.

Method Details

replaceTerm

public Statement replaceTerm(Term toSubstitute,
 Term substitution)

Description copied from class: Statement

Replaces each occurrence of "toSubstitute" by "substitution" and return the new statement.

Specified by:

replaceTerm in class Statement

Parameters:

toSubstitute - the term to be substituted

substitution - the new term

Returns:

this statement where "toSubstitute" is replaced by "substitution"

isNormalized

public boolean isNormalized()

Description copied from class: Statement

Checks whether this constraint is of normalized form, i.e. whether it has the form "T > 0" or "T >= 0", "T = 0" or "T != 0"

Specified by:

isNormalized in class Statement

Returns:

"true" iff this constraint is normalized.

toNormalizedForm

public Statement toNormalizedForm()

Description copied from class: Statement

Normalizes this constraint, i.e. brings it into an equivalent form "T > 0" or "T >= 0", "T = 0" or "T != 0".

Specified by:

toNormalizedForm in class Statement

Returns:

a statement.

toLinearForm

public Statement toLinearForm()

Description copied from class: Statement

Brings both terms into linear form. If this constraint is normalized (i.e. the right term consists of the constant 0) the right term is not linearized.

Specified by:

toLinearForm in class Statement

Returns:

a statement.

getRelationSymbol

public String getRelationSymbol()

Description copied from class: Statement

Returns the relation symbol of this statement.

Specified by:

getRelationSymbol in class Statement

Returns:

the relation symbol of this statement.

isValid

public boolean isValid(Statement s)

Description copied from class: Statement

checks if a Statement fulfills the relation

Specified by:

isValid in class Statement

Parameters:

s - a Statement with values for all variables

Returns:

if the left and the right hand side are in the correct relation to each other