File name		Description
PhaseCommandComponent_createPanel		
PhaseCommandComponent_createPhasePanel		
PhaseCommandComponent_hasClickedOnApplyPhase		
PhaseCommandComponent_setPhasePanelEnabled_boolean		
PhaseCommandComponent_getListOfPhaseStrategies		
PhaseCommandComponent_setPhaseListSelectedItem_String		
Solvers_configureFromString_String_ICDCL_ILogAble		
Solvers_setupObject_String_Properties_ILogAble		
Solvers_createCLIOptions		
Solvers_stringUsage_ILogAble		
Solvers_containsOptValue_String[]		
Solvers_configureSolver_String[]_ILogAble		
Solvers_uncompressed_String		
Solvers_showAvailableRestarts_ILogAble		
Solvers_showAvailablePhase_ILogAble		
Solvers_showAvailableLearning_ILogAble		
Solvers_showAvailableOrders_ILogAble		
Solvers_showParams_ILogAble		
Solvers_showSimplifiers_ILogAble		
Solvers_showAvailableConstraintsCleaningStrategies_ILogAble		
Solvers_showAvailableSolvers_ASolverFactory<T>_ILogAble		
Solvers_showAvailableSolvers_ASolverFactory<T>_String_ILogAble		
Solvers_usage_ILogAble		
SimplifierCommandComponent_createPanel		
SimplifierCommandComponent_createSimplifierPanel		
SimplifierCommandComponent_setSelectedSimplification_String		
SimplifierCommandComponent_hasClickedOnApplySimplification		
SimplifierCommandComponent_setSimplifierPanelEnabled_boolean		
RestartCommandComponent_createPanel		
RestartCommandComponent_initFactorParam		
RestartCommandComponent_modifyRestartParamPanel		
RestartCommandComponent_setRestartPanelEnabled_boolean		
RestartCommandComponent_setRestartPropertiesPanelEnabled_boolean		
RestartCommandComponent_updateRestartStrategyPanel		
RestartCommandComponent_hasClickedOnChange		
RestartCommandComponent_hasClickedOnRestart		
RestartCommandComponent_getListOfRestartStrategies		
RestartCommandComponent_getCurrentRestart		
RestartCommandComponent_setCurrentRestart_String		
RemoteControlFrame_reinitialiser		
RemoteControlFrame_setActivateGnuplot_boolean		
RemoteControlFrame_createAndShowGUI		
RemoteControlFrame_clickOnAboutSolver		
RemoteControlFrame_setActivateTracingEditableUnderCondition_boolean		
RemoteControlFrame_setActivateTracingEditable_boolean		
RemoteControlFrame_setActivateRadioTracing_boolean		
RemoteControlFrame_createMenuBar		
RemoteControlFrame_log_String		
RemoteControlFrame_getVersion		
RemoteControlFrame_activateTracing_boolean		
RemoteControlFrame_setOptimisationMode_boolean		
CleanCommandComponent_createPanel		
CleanCommandComponent_hasChangedCleaningValue		
CleanCommandComponent_hasClickedOnUseOriginalStrategy		
CleanCommandComponent_getCleanSliderValue		
CleanCommandComponent_hasClickedOnClean		
CleanCommandComponent_setCleanPanelEnabled_boolean		
CleanCommandComponent_setCleanPanelOriginalStrategyEnabled_boolean		
CleanCommandComponent_setSpeedLabeltext_String		
Lanceur_main_String[]		
Lanceur_configureSolver_String[]		Configure the solver according to the command line parameters.
Lanceur_createReader_ISolver_String		
Lanceur_displayLicense		
Lanceur_getInstanceName_String[]		
Lanceur_readProblem_String		
Lanceur_solve_IProblem		
Lanceur_displayResult		
Lanceur_displayAnswer		
Lanceur_run_String[]		
Lanceur_usage		
Lanceur_createCLIOptions		
KTHLauncher_createCLIOptions		
KTHLauncher_log_String		
KTHLauncher_log_String_String		
KTHLauncher_main_String[]		
RTSI_find_String_boolean		
RTSI_find_String_String_boolean		
RTSI_find_String_Class<?>_boolean		
RTSI_find_String		
RTSI_find_String_String		
RTSI_find_String_Class<?>		
RTSI_findnames_String_Class<?>		
RTSI_findnames_String_Class<?>_boolean		
RTSI_displayResultOfFind_String		
RTSI_displayResultOfFind_String_String		
RTSI_displayResultOfFind_String_Class<?>		
RTSI_main_String[]		
LaunchRemoteControl_main_String[]		
Launcher_main_String[]		
Launcher_usage		
Launcher_createReader_ISolver_String		
Launcher_getInstanceName_String[]		
Launcher_configureSolver_String[]		Configure the solver according to the command line parameters.
Launcher_run_String[]		
RandomWalkCommandComponent_createPanel		
RandomWalkCommandComponent_createRWPanel		
RandomWalkCommandComponent_hasClickedOnApplyRW		
RandomWalkCommandComponent_setRWPanelEnabled_boolean		
RandomWalkCommandComponent_setProba_double		
CommandComponent_createPanel		
VerySimpleCommandPanel_actionPerformed_ActionEvent		
VerySimpleCommandPanel_actionPerformed_ActionEvent		
VerySimpleCommandPanel_hasClickedOnRestart		
VerySimpleCommandPanel_hasClickedOnClean		
RemoteControlStrategy_isHasClickedOnRestart		
RemoteControlStrategy_setHasClickedOnRestart_boolean		
RemoteControlStrategy_isHasClickedOnClean		
RemoteControlStrategy_setHasClickedOnClean_boolean		
RemoteControlStrategy_isUseTelecomStrategyAsLearnedConstraintsDeletionStrategy		
RemoteControlStrategy_setUseTelecomStrategyAsLearnedConstraintsDeletionStrategy_boolean		
RemoteControlStrategy_clickedOnClean		
RemoteControlStrategy_getRestartStrategy		
RemoteControlStrategy_getPhaseSelectionStrategy		
RemoteControlStrategy_setPhaseSelectionStrategy_IPhaseSelectionStrategy		
RemoteControlStrategy_setRestartStrategy_RestartStrategy		
RemoteControlStrategy_getNbClausesAtWhichWeShouldClean		
RemoteControlStrategy_setNbClausesAtWhichWeShouldClean_int		
RemoteControlStrategy_getLogger		
RemoteControlStrategy_setLogger_ILogAble		
RemoteControlStrategy_init_SearchParams_SolverStats		
RemoteControlStrategy_nextRestartNumberOfConflict		
RemoteControlStrategy_shouldRestart		
RemoteControlStrategy_onRestart		
RemoteControlStrategy_onBackjumpToRootLevel		
RemoteControlStrategy_getSearchParams		
RemoteControlStrategy_getSolverStats		
RemoteControlStrategy_getSolver		
RemoteControlStrategy_setSolver_ICDCL<?>		
RemoteControlStrategy_reset		
RemoteControlStrategy_newConflict		
RemoteControlStrategy_updateVar_int		
RemoteControlStrategy_init_int		
RemoteControlStrategy_init_int_int		
RemoteControlStrategy_assignLiteral_int		
RemoteControlStrategy_select_int		
RemoteControlStrategy_updateVarAtDecisionLevel_int		
RemoteControlStrategy_toString		
RemoteControlStrategy_setInterrupted_boolean		
RemoteControlStrategy_newLearnedClause_Constr_int		
HotSolverCommandComponent_createPanel		
HotSolverCommandComponent_createHotSolverPanel		
HotSolverCommandComponent_setKeepSolverHotPanelEnabled_boolean		
DetailedCommandPanel_createInstancePanel		
DetailedCommandPanel_createChoixSolverPanel		
DetailedCommandPanel_manageStartStopButton		
DetailedCommandPanel_getStartStopText		
DetailedCommandPanel_setOptimisationMode_boolean		
DetailedCommandPanel_launchSolverWithConfigs		
DetailedCommandPanel_initSearchListeners		
DetailedCommandPanel_getNVar		
DetailedCommandPanel_setPhaseSelectionStrategy_IPhaseSelectionStrategy		
DetailedCommandPanel_shouldRestartNow		
DetailedCommandPanel_setRestartStrategy_RestartStrategy		
DetailedCommandPanel_getRestartStrategy		
DetailedCommandPanel_getSearchParams		
DetailedCommandPanel_getSolverStats		
DetailedCommandPanel_init_SearchParams_SolverStats		
DetailedCommandPanel_setNbClausesAtWhichWeShouldClean_int		
DetailedCommandPanel_setUseTelecomStrategyAsLearnedConstraintsDeletionStrategy		
DetailedCommandPanel_setLearnedDeletionStrategyTypeToSolver_LearnedConstraintsEvaluationType		
DetailedCommandPanel_getLearnedConstraintsEvaluationType		
DetailedCommandPanel_shouldCleanNow		
DetailedCommandPanel_setKeepSolverHot_boolean		
DetailedCommandPanel_isGnuplotBased		
DetailedCommandPanel_setGnuplotBased_boolean		
DetailedCommandPanel_isChartBased		
DetailedCommandPanel_setChartBased_boolean		
DetailedCommandPanel_isPlotActivated		
DetailedCommandPanel_setPlotActivated_boolean		
DetailedCommandPanel_setRandomWalkProba_double		
DetailedCommandPanel_setSimplifier_SimplificationType		
DetailedCommandPanel_getListOfSolvers		
DetailedCommandPanel_getListOfSatSolvers		
DetailedCommandPanel_getListOfPBSolvers		
DetailedCommandPanel_getListOfMaxsatSolvers		
DetailedCommandPanel_getListOfEncodings_String		
DetailedCommandPanel_log_String		
DetailedCommandPanel_logsameline_String		
DetailedCommandPanel_openFileChooser		
DetailedCommandPanel_createReader_ISolver_String		
DetailedCommandPanel_updateListOfSolvers		
DetailedCommandPanel_setInstancePanelEnabled_boolean		
DetailedCommandPanel_setChoixSolverPanelEnabled_boolean		
DetailedCommandPanel_setSolverVisualisation_SolverVisualisation		
DetailedCommandPanel_activateGnuplotTracing_boolean		
DetailedCommandPanel_startVisu		
DetailedCommandPanel_stopVisu		
DetailedCommandPanel_getGnuplotPreferences		
DetailedCommandPanel_setGnuplotPreferences_VisuPreferences		
DetailedCommandPanel_getThis		
DetailedCommandPanel_getSolver		
DetailedCommandPanel_updateWriter		
DetailedCommandPanel_init_ISolverService		
DetailedCommandPanel_assuming_int		
DetailedCommandPanel_propagating_int		
DetailedCommandPanel_enqueueing_int_IConstr		
DetailedCommandPanel_backtracking_int		
DetailedCommandPanel_adding_int		
DetailedCommandPanel_learn_IConstr		
DetailedCommandPanel_delete_IConstr		
DetailedCommandPanel_learnUnit_int		
DetailedCommandPanel_conflictFound_IConstr_int_int		
DetailedCommandPanel_conflictFound_int		
DetailedCommandPanel_solutionFound_int[]_RandomAccessModel		
DetailedCommandPanel_beginLoop		
DetailedCommandPanel_start		
DetailedCommandPanel_end_Lbool		
DetailedCommandPanel_restarting		
DetailedCommandPanel_backjump_int		
DetailedCommandPanel_cleaning		
