jp.kobe_u.sugar.csp

Class PowerLiteral

java.lang.Object

jp.kobe_u.sugar.csp.Literal

jp.kobe_u.sugar.csp.PowerLiteral

public class PowerLiteral
extends Literal

NOT IMPLEMENTED YET. This class implements a literal for arithmetic power.

See Also:

CSP

Constructor Summary

Constructors

Constructor and Description
PowerLiteral()

Method Summary

Modifier and Type	Method and Description
java.util.Set<IntegerVariable>	getVariables()
boolean	isSatisfied() Returns true when the literal is satisfied.
boolean	isSimple() Returns true when the literal is simple.
boolean	isUnsatisfiable()
boolean	isValid()
Literal	neg()
int	propagate()
java.lang.String	toString()

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

getBound, getCode

Methods inherited from class java.lang.Object

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

Constructor Detail

PowerLiteral

public PowerLiteral()

Method Detail

getVariables

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

Overrides:

getVariables in class Literal

isSimple

public boolean isSimple()

Description copied from class: Literal

Returns true when the literal is simple. A literal is simple when it is a boolean literal or a comparison literal with at most one integer variable.

Specified by:

isSimple in class Literal

Returns:

true when the literal is simple

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()

Specified by:

propagate in class Literal

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

toString

public java.lang.String toString()

Overrides:

toString in class java.lang.Object