Uses of Class
org.sat4j.ResultCode

Packages that use ResultCode
org.sat4j Contain a command line launcher for the SAT solvers. 
 

Uses of ResultCode in org.sat4j
 

Methods in org.sat4j that return ResultCode
 ResultCode ResultsManager.compare(java.lang.String fileName, ExitCode newCode)
           
static ResultCode ResultCode.valueOf(java.lang.String name)
          Returns the enum constant of this type with the specified name.
static ResultCode[] ResultCode.values()
          Returns an array containing the constants of this enum type, in the order they are declared.
 

Methods in org.sat4j with parameters of type ResultCode
static java.lang.String ResultsManager.printLine(java.lang.String fileName, ExitCode exitCode, ResultCode resultCode)
           
 



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