Uses of Class
org.sat4j.ExitCode

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

Uses of ExitCode in org.sat4j
 

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

Methods in org.sat4j that return types with arguments of type ExitCode
static java.util.Map<java.lang.String,ExitCode> ResultsManager.getInformations(java.io.Reader in)
           
static java.util.Map<java.lang.String,ExitCode> ResultsManager.getInformations(java.lang.String path)
           
static java.util.Map<java.lang.String,ExitCode> ResultsManager.getInformations(java.net.URL path)
           
 

Methods in org.sat4j with parameters of type ExitCode
 ResultCode ResultsManager.compare(java.lang.String fileName, ExitCode newCode)
           
static java.lang.String ResultsManager.printLine(java.lang.String fileName, ExitCode exitCode, ResultCode resultCode)
           
 void AbstractLauncher.setExitCode(ExitCode exitCode)
          Change the value of the exit code in the Launcher
 



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