SolverState

java.lang.Object
- org.jacop.jasat.core.SolverState

public final class SolverState
extends java.lang.Object

- Field Summary
  
  Fields
  Modifier and Type Field Description
  
  static int CONFLICT
  
  static int SATISFIABLE
  
  static int UNKNOWN
  
  static int UNSATISFIABLE
- Constructor Summary
  
  Constructors
  Constructor Description
  
  SolverState()
- Method Summary
  
  All Methods Static Methods Concrete Methods
  Modifier and Type Method Description
  
  static java.lang.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 java.lang.String show(int state)
```
    It gives a nice representation of the state.
    
    Parameters:
    
    state - the state
    
    Returns:
    
    a string representing the state