jp.kobe_u.sugar.csp

Class LinearLiteral

java.lang.Object

jp.kobe_u.sugar.csp.Literal

jp.kobe_u.sugar.csp.LinearLiteral

Direct Known Subclasses:

LinearEqLiteral, LinearGeLiteral, LinearLeLiteral, LinearNeLiteral

public abstract class LinearLiteral
extends Literal

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

See Also:

CSP, LinearSum

Constructor Summary

Constructors

Constructor and Description
LinearLiteral(LinearSum linearSum, java.lang.String cmp) Constructs a new comparison literal of given linear expression.

Method Summary

Modifier and Type	Method and Description
int	ceilDiv(int b, int a)
boolean	equals(java.lang.Object obj)
int	floorDiv(int b, int a)
java.lang.String	getCmp()
LinearSum	getLinearExpression() Returns the linear expression of the comparison literal.
java.util.Set<IntegerVariable>	getVariables()
int	hashCode()
java.lang.String	toString() Returns the string representation of the comparison literal.

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

getBound, getCode, isSatisfied, isSimple, isUnsatisfiable, isValid, neg, propagate

Methods inherited from class java.lang.Object

getClass, notify, notifyAll, wait, wait, wait

Constructor Detail

LinearLiteral

public LinearLiteral(LinearSum linearSum,
                     java.lang.String cmp)

Constructs a new comparison literal of given linear expression.

Parameters:

linearSum - the linear expression

Method Detail

getVariables

public java.util.Set<IntegerVariable> getVariables()

Overrides:

getVariables in class Literal

floorDiv

public int floorDiv(int b,
                    int a)

ceilDiv

public int ceilDiv(int b,
                   int a)

getLinearExpression

public LinearSum getLinearExpression()

Returns the linear expression of the comparison literal.

Returns:

the linear expression

getCmp

public java.lang.String getCmp()

hashCode

public int hashCode()

Overrides:

hashCode in class java.lang.Object

equals

public boolean equals(java.lang.Object obj)

Overrides:

equals in class java.lang.Object

toString

public java.lang.String toString()

Returns the string representation of the comparison literal.

Overrides:

toString in class java.lang.Object

Returns:

the string representation