File name		Description
LightFactory_createInstance		
LightFactory_instance		Access to the single instance of the factory.
LightFactory_defaultSolver		
LightFactory_lightSolver		
LightFactory_main_String[]		
BasicLauncher_main_String[]		Lance le prouveur sur un fichier Dimacs.
BasicLauncher_configureSolver_String[]		
BasicLauncher_createReader_ISolver_String		
BasicLauncher_usage		
BasicLauncher_getInstanceName_String[]		
MUSLauncher_usage		
MUSLauncher_createReader_ISolver_String		
MUSLauncher_getInstanceName_String[]		
MUSLauncher_configureSolver_String[]		
MUSLauncher_displayResult		
MUSLauncher_run_String[]		
MUSLauncher_main_String[]		
DecisionMode_displayResult_ISolver_IProblem_ILogAble_PrintWriter_Reader_long_boolean		
DecisionMode_solve_IProblem_Reader_ILogAble_PrintWriter_long		
DecisionMode_setIncomplete_boolean		
DecisionMode_getCurrentExitCode		
DecisionMode_onSolutionFound_int[]		
DecisionMode_onSolutionFound_IVecInt		
DecisionMode_onUnsatTermination		
DecisionMode_setExitCode_ExitCode		
OptimizationMode_setIncomplete_boolean		
OptimizationMode_displayResult_ISolver_IProblem_ILogAble_PrintWriter_Reader_long_boolean		
OptimizationMode_solve_IProblem_Reader_ILogAble_PrintWriter_long		
OptimizationMode_getCurrentExitCode		
OptimizationMode_onSolutionFound_int[]		
OptimizationMode_onSolutionFound_IVecInt		
OptimizationMode_onUnsatTermination		
OptimizationMode_setExitCode_ExitCode		
AbstractLauncher_setLauncherMode_ILauncherMode		
AbstractLauncher_getLauncherMode		
AbstractLauncher_setIncomplete_boolean		
AbstractLauncher_addHook		
AbstractLauncher_displayResult		
AbstractLauncher_usage		
AbstractLauncher_displayHeader		
AbstractLauncher_displayLicense		
AbstractLauncher_readProblem_String		Reads a problem file from the command line.
AbstractLauncher_createReader_ISolver_String		
AbstractLauncher_run_String[]		
AbstractLauncher_configureLauncher		
AbstractLauncher_getInstanceName_String[]		
AbstractLauncher_configureSolver_String[]		
AbstractLauncher_log_String		Display messages as comments on STDOUT
AbstractLauncher_solve_IProblem		
AbstractLauncher_setDisplaySolutionLine_boolean		To change the display so that solution line appears or not. Recommended
		if solution is very large.
AbstractLauncher_setExitCode_ExitCode		Change the value of the exit code in the Launcher
AbstractLauncher_getExitCode		Get the value of the ExitCode
AbstractLauncher_getBeginTime		Obtaining the current time spent since the beginning of the solving
		process.
AbstractLauncher_getReader		
AbstractLauncher_setLogWriter_PrintWriter		To change the output stream on which statistics are displayed. By
		default, the solver displays everything on System.out.
AbstractLauncher_getLogWriter		
AbstractLauncher_setSilent_boolean		
AbstractLauncher_readObject_ObjectInputStream		
AbstractLauncher_showAvailableSolvers_ASolverFactory<T>		
AbstractLauncher_showAvailableSolvers_ASolverFactory<T>_String		
AbstractLauncher_bufferizeLog		
AbstractLauncher_flushLog		
AbstractLauncher_isSilent		
AbstractOptimizationLauncher_setIncomplete_boolean		
AbstractOptimizationLauncher_setDisplaySolutionLine_boolean		
AbstractOptimizationLauncher_displayResult		
AbstractOptimizationLauncher_displayAnswer		
AbstractOptimizationLauncher_solve_IProblem		
ExitCode_value		creates an exit code with a given value and an alternative textual
		representation.
ExitCode_toString		
Messages_getString_String		
