Package net.sf.tweety.math.equation

Class Inequation

java.lang.Object

net.sf.tweety.math.equation.Statement

net.sf.tweety.math.equation.Inequation

public class Inequation
extends Statement

This class models an inequation of two terms.

Author:

Matthias Thimm

Field Summary

Fields

Modifier and Type	Field	Description
static int	GREATER
static int	GREATER_EQUAL
static int	LESS
static int	LESS_EQUAL
private int	type
static int	UNEQUAL

Constructor Summary

Constructors

Constructor	Description
Inequation(Term leftTerm, Term rightTerm, int type)	Creates a new inequation of the given type with the two terms.

Method Summary

Modifier and Type	Method	Description
java.lang.String	getRelationSymbol()	Returns the relation symbol of this statement.
int	getType()	Returns the type of this inequation.
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.

Methods inherited from class net.sf.tweety.math.equation.Statement

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

Methods inherited from class java.lang.Object

clone, equals, finalize, getClass, hashCode, notify, notifyAll, wait, wait, wait

Field Detail

LESS

public static final int LESS

See Also:

Constant Field Values

LESS_EQUAL

public static final int LESS_EQUAL

See Also:

Constant Field Values

GREATER

public static final int GREATER

See Also:

Constant Field Values

GREATER_EQUAL

public static final int GREATER_EQUAL

See Also:

Constant Field Values

UNEQUAL

public static final int UNEQUAL

See Also:

Constant Field Values

type

private int type

Constructor Detail

Inequation

public Inequation(Term leftTerm,
                  Term rightTerm,
                  int type)

Creates a new inequation of the given type with the two terms.

Parameters:

leftTerm - a term.

rightTerm - a term.

type - the type of the inequality, one of Inequation.LESS, Inequation.LESS_EQUAL Inequation.GREATER, Inequation.GREATER_EQUAL, Inequation.UNEQUAL.

Method Detail

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"

getType

public int getType()

Returns the type of this inequation.

Returns:

the type of this inequation.

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 java.lang.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.