org.sat4j.reader.csp
Class Constant

java.lang.Object
  org.sat4j.reader.csp.Constant

All Implemented Interfaces:

Evaluable

public class Constant
extends java.lang.Object
implements Evaluable

Constructor Summary

Constant(int value)

Method Summary

Domain	domain() Return the domain of the evaluable.
void	toClause(ISolver solver) Translates a variable over a domain into a set a clauses enforcing that exactly one value must be chosen in the domain.
java.lang.String	toString()
int	translate(int key) Translates a value from the domain nto a SAT variable in Dimacs format.

Methods inherited from class java.lang.Object

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

Constructor Detail

Constant

public Constant(int value)

Method Detail

domain

public Domain domain()

Description copied from interface: Evaluable

Return the domain of the evaluable.

Specified by:

domain in interface Evaluable

Returns:

the domain of the evaluable.

translate

public int translate(int key)

Description copied from interface: Evaluable

Translates a value from the domain nto a SAT variable in Dimacs format.

Specified by:

translate in interface Evaluable

Parameters:

key - a value from domain()

Returns:

the SAT variable associated with that value.

toClause

public void toClause(ISolver solver)
              throws ContradictionException

Description copied from interface: Evaluable

Translates a variable over a domain into a set a clauses enforcing that exactly one value must be chosen in the domain.

Specified by:

toClause in interface Evaluable

Parameters:

solver - a solver to feed with the clauses.

Throws:

ContradictionException - if a trivial inconsistency is met.

toString

public java.lang.String toString()

Overrides:

toString in class java.lang.Object