File name		Description
LubyRestarts_luby		returns the current value of the luby sequence.
LubyRestarts_nextLuby		Computes and return the next value of the luby sequence. That method has
		a side effect of the value returned by luby(). luby()!=nextLuby() but
		nextLuby()==luby().
LubyRestarts_setFactor_int		
LubyRestarts_getFactor		
LubyRestarts_init_SearchParams_SolverStats		
LubyRestarts_nextRestartNumberOfConflict		
LubyRestarts_onRestart		
LubyRestarts_toString		
LubyRestarts_shouldRestart		
LubyRestarts_onBackjumpToRootLevel		
LubyRestarts_reset		
LubyRestarts_newConflict		
LubyRestarts_newLearnedClause_Constr_int		
FixedPeriodRestarts_reset		
FixedPeriodRestarts_newConflict		
FixedPeriodRestarts_init_SearchParams_SolverStats		
FixedPeriodRestarts_nextRestartNumberOfConflict		
FixedPeriodRestarts_shouldRestart		
FixedPeriodRestarts_onRestart		
FixedPeriodRestarts_onBackjumpToRootLevel		
FixedPeriodRestarts_newLearnedClause_Constr_int		
FixedPeriodRestarts_getPeriod		
FixedPeriodRestarts_setPeriod_long		
FixedPeriodRestarts_toString		
MiniSATRestarts_init_SearchParams_SolverStats		
MiniSATRestarts_nextRestartNumberOfConflict		
MiniSATRestarts_onRestart		
MiniSATRestarts_toString		
MiniSATRestarts_shouldRestart		
MiniSATRestarts_onBackjumpToRootLevel		
MiniSATRestarts_reset		
MiniSATRestarts_newConflict		
MiniSATRestarts_newLearnedClause_Constr_int		
Glucose21Restarts_reset		
Glucose21Restarts_newConflict		
Glucose21Restarts_newLearnedClause_Constr_int		
Glucose21Restarts_init_SearchParams_SolverStats		
Glucose21Restarts_nextRestartNumberOfConflict		
Glucose21Restarts_shouldRestart		
Glucose21Restarts_onRestart		
Glucose21Restarts_onBackjumpToRootLevel		
Glucose21Restarts_toString		
NoRestarts_init_SearchParams_SolverStats		
NoRestarts_nextRestartNumberOfConflict		
NoRestarts_onRestart		
NoRestarts_reset		
NoRestarts_newConflict		
NoRestarts_shouldRestart		
NoRestarts_onBackjumpToRootLevel		
NoRestarts_toString		
NoRestarts_newLearnedClause_Constr_int		
ArminRestarts_init_SearchParams_SolverStats		
ArminRestarts_nextRestartNumberOfConflict		
ArminRestarts_onRestart		
ArminRestarts_toString		
ArminRestarts_shouldRestart		
ArminRestarts_onBackjumpToRootLevel		
ArminRestarts_reset		
ArminRestarts_newConflict		
ArminRestarts_newLearnedClause_Constr_int		
EMARestarts_reset		
EMARestarts_newConflict		
EMARestarts_init_SearchParams_SolverStats		
EMARestarts_nextRestartNumberOfConflict		
EMARestarts_shouldRestart		
EMARestarts_onRestart		
EMARestarts_onBackjumpToRootLevel		
EMARestarts_newLearnedClause_Constr_int		
EMARestarts_toString		
