jp.kobe_u.sugar.csp

Class RelationLiteral

java.lang.Object

jp.kobe_u.sugar.csp.Literal

jp.kobe_u.sugar.csp.RelationLiteral

public class RelationLiteral
extends Literal

This class implements a literal for relations.

See Also:

CSP

Nested Class Summary

Nested Classes

Modifier and Type	Class and Description
class	RelationLiteral.Brick

Field Summary

Fields

Modifier and Type	Field and Description
int	arity
boolean	conflicts
java.lang.String	name
boolean	negative
int[][]	tuples
IntegerVariable[]	vs

Constructor Summary

Constructors

Constructor and Description
RelationLiteral(java.lang.String name, int arity, boolean negative, boolean conflicts, int[][] tuples, IntegerVariable[] vs)

Method Summary

Modifier and Type	Method and Description
boolean	equals(java.lang.Object obj)
java.util.List<RelationLiteral.Brick>	getConflictBricks()
int	hashCode()
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, getVariables

Methods inherited from class java.lang.Object

getClass, notify, notifyAll, wait, wait, wait

Field Detail

name

public java.lang.String name

arity

public int arity

negative

public boolean negative

conflicts

public boolean conflicts

vs

public IntegerVariable[] vs

tuples

public int[][] tuples

Constructor Detail

RelationLiteral

public RelationLiteral(java.lang.String name,
                       int arity,
                       boolean negative,
                       boolean conflicts,
                       int[][] tuples,
                       IntegerVariable[] vs)

Method Detail

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

Specified by:

propagate in class Literal

Throws:

SugarException

getConflictBricks

public java.util.List<RelationLiteral.Brick> getConflictBricks()
                                                        throws SugarException

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

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

Overrides:

toString in class java.lang.Object