org.jacop.jasat.core

Class SolverState

java.lang.Object

org.jacop.jasat.core.SolverState

public final class SolverState
extends Object

Field Summary

Fields

Modifier and Type	Field and Description
static int	CONFLICT
static int	SATISFIABLE
static int	UNKNOWN
static int	UNSATISFIABLE

Constructor Summary

Constructors

Constructor and Description
SolverState()

Method Summary

Modifier and Type	Method and Description
static String	show(int state) It gives a nice representation of the state.

Methods inherited from class java.lang.Object

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

Field Detail

CONFLICT

public static final int CONFLICT

See Also:

Constant Field Values

UNKNOWN

public static final int UNKNOWN

See Also:

Constant Field Values

SATISFIABLE

public static final int SATISFIABLE

See Also:

Constant Field Values

UNSATISFIABLE

public static final int UNSATISFIABLE

See Also:

Constant Field Values

Constructor Detail

SolverState

public SolverState()

Method Detail

show

public static String show(int state)

It gives a nice representation of the state.

Parameters:

state - the state

Returns:

a string representing the state