jp.kobe_u.sugar.csp

Class LinearLeLiteral

java.lang.Object

jp.kobe_u.sugar.csp.Literal

jp.kobe_u.sugar.csp.LinearLiteral

jp.kobe_u.sugar.csp.LinearLeLiteral

public class LinearLeLiteral
extends LinearLiteral

This class implements a comparison literal of CSP. The comparison represents the condition "linearSum <= 0".

See Also:

CSP, LinearSum

Constructor Summary

Constructors

Constructor and Description
LinearLeLiteral(LinearSum linearSum) Constructs a new comparison literal of given linear expression.

Method Summary

Modifier and Type	Method and Description
int[]	getBound(IntegerVariable v)
LinearSum	getLinearExpression() Returns the linear expression of the comparison literal.
boolean	isSatisfied() Returns true when the literal is satisfied.
boolean	isSimple() Returns true when the linear expression is simple.
boolean	isUnsatisfiable()
boolean	isValid()
Literal	neg()
int	propagate()

Methods inherited from class jp.kobe_u.sugar.csp.LinearLiteral

ceilDiv, equals, floorDiv, getCmp, getVariables, hashCode, toString

Methods inherited from class jp.kobe_u.sugar.csp.Literal

getCode

Methods inherited from class java.lang.Object

getClass, notify, notifyAll, wait, wait, wait

Constructor Detail

LinearLeLiteral

public LinearLeLiteral(LinearSum linearSum)

Constructs a new comparison literal of given linear expression.

Parameters:

linearSum - the linear expression

Method Detail

getBound

public int[] getBound(IntegerVariable v)
               throws SugarException

Overrides:

getBound in class Literal

Throws:

SugarException

isSimple

public boolean isSimple()

Returns true when the linear expression is simple.

Specified by:

isSimple in class Literal

Returns:

true when the linear expression is simple

See Also:

LinearSum.isSimple()

getLinearExpression

public LinearSum getLinearExpression()

Returns the linear expression of the comparison literal.

Overrides:

getLinearExpression in class LinearLiteral

Returns:

the linear expression

isValid

public boolean isValid()
                throws SugarException

Specified by:

isValid in class Literal

Throws:

SugarException

isUnsatisfiable

public boolean isUnsatisfiable()
                        throws SugarException

Specified by:

isUnsatisfiable in class Literal

Throws:

SugarException

propagate

public int propagate()
              throws SugarException

Specified by:

propagate in class Literal

Throws:

SugarException

isSatisfied

public boolean isSatisfied()

Description copied from class: Literal

Returns true when the literal is satisfied.

Specified by:

isSatisfied in class Literal

Returns:

true when the literal is satisfied

neg

public Literal neg()
            throws SugarException

Specified by:

neg in class Literal

Throws:

SugarException