org.sat4j
Class ExitCode

java.lang.Object
  extended by org.sat4j.ExitCode

public final class ExitCode
extends Object

Enumeration allowing to manage easily exit code for the SAT and PB Competitions.

Author:
leberre

Field Summary
static ExitCode OPTIMUM_FOUND
           
static ExitCode SATISFIABLE
           
static ExitCode UNKNOWN
           
static ExitCode UNSATISFIABLE
           
static ExitCode UPPER_BOUND
           
 
Method Summary
 String toString()
           
 int value()
           
 
Methods inherited from class java.lang.Object
clone, equals, finalize, getClass, hashCode, notify, notifyAll, wait, wait, wait
 

Field Detail

OPTIMUM_FOUND

public static final ExitCode OPTIMUM_FOUND

UPPER_BOUND

public static final ExitCode UPPER_BOUND

SATISFIABLE

public static final ExitCode SATISFIABLE

UNKNOWN

public static final ExitCode UNKNOWN

UNSATISFIABLE

public static final ExitCode UNSATISFIABLE
Method Detail

value

public int value()
Returns:
the exit code value

toString

public String toString()
Overrides:
toString in class Object
Returns:
the name of the enum or the alternative textual representation if any.


Copyright © 2011 Centre de Recherche en Informatique de Lens (CRIL). All Rights Reserved.