File name		Description
TabuListDecorator_assignLiteral_int		
TabuListDecorator_getPhaseSelectionStrategy		
TabuListDecorator_init		
TabuListDecorator_printStat_PrintWriter_String		
TabuListDecorator_select		
TabuListDecorator_setLits_ILits		
TabuListDecorator_setPhaseSelectionStrategy_IPhaseSelectionStrategy		
TabuListDecorator_setVarDecay_double		
TabuListDecorator_undo_int		
TabuListDecorator_updateVar_int		
TabuListDecorator_varActivity_int		
TabuListDecorator_varDecayActivity		
TabuListDecorator_updateVarAtDecisionLevel_int		
TabuListDecorator_toString		
TabuListDecorator_getVariableHeuristics		
ValuedLit_compareTo_ValuedLit		
ValuedLit_equals_Object		
ValuedLit_hashCode		
ValuedLit_toString		
SubsetVarOrder_init		
SubsetVarOrder_undo_int		
PositiveLiteralSelectionStrategy_assignLiteral_int		
PositiveLiteralSelectionStrategy_init_int		
PositiveLiteralSelectionStrategy_init_int_int		
PositiveLiteralSelectionStrategy_select_int		
PositiveLiteralSelectionStrategy_updateVar_int		
PositiveLiteralSelectionStrategy_toString		
PositiveLiteralSelectionStrategy_updateVarAtDecisionLevel_int		
PhaseInLastLearnedClauseSelectionStrategy_updateVar_int		
PhaseInLastLearnedClauseSelectionStrategy_toString		
PhaseInLastLearnedClauseSelectionStrategy_assignLiteral_int		
PhaseInLastLearnedClauseSelectionStrategy_updateVarAtDecisionLevel_int		
PhaseCachingAutoEraseStrategy_assignLiteral_int		
PhaseCachingAutoEraseStrategy_updateVar_int		
PhaseCachingAutoEraseStrategy_toString		
PhaseCachingAutoEraseStrategy_updateVarAtDecisionLevel_int		
VarOrderHeap_setPhaseSelectionStrategy_IPhaseSelectionStrategy		Change the selection strategy.
VarOrderHeap_getPhaseSelectionStrategy		
VarOrderHeap_setLits_ILits		
VarOrderHeap_select		Selectionne une nouvelle variable, non affectee, ayant l'activite la plus
		elevee.
VarOrderHeap_setVarDecay_double		Change la valeur de varDecay.
VarOrderHeap_undo_int		Methode appelee quand la variable x est desaffectee.
VarOrderHeap_updateVar_int		Appelee lorsque l'activite de la variable x a change.
VarOrderHeap_updateActivity_int		
VarOrderHeap_varDecayActivity		
VarOrderHeap_varRescaleActivity		
VarOrderHeap_varActivity_int		
VarOrderHeap_numberOfInterestingVariables		
VarOrderHeap_createHeap_double[]		
VarOrderHeap_init		that method has the responsibility to initialize all arrays in the
		heuristics. PLEASE CALL super.init() IF YOU OVERRIDE THAT METHOD.
VarOrderHeap_toString		
VarOrderHeap_getVocabulary		
VarOrderHeap_printStat_PrintWriter_String		
VarOrderHeap_assignLiteral_int		
VarOrderHeap_updateVarAtDecisionLevel_int		
VarOrderHeap_getVariableHeuristics		
RSATLastLearnedClausesPhaseSelectionStrategy_assignLiteral_int		
RSATLastLearnedClausesPhaseSelectionStrategy_toString		
RSATLastLearnedClausesPhaseSelectionStrategy_updateVar_int		
RSATLastLearnedClausesPhaseSelectionStrategy_updateVarAtDecisionLevel_int		
RandomLiteralSelectionStrategy_assignLiteral_int		
RandomLiteralSelectionStrategy_init_int		
RandomLiteralSelectionStrategy_init_int_int		
RandomLiteralSelectionStrategy_select_int		
RandomLiteralSelectionStrategy_updateVar_int		
RandomLiteralSelectionStrategy_updateVarAtDecisionLevel_int		
RandomLiteralSelectionStrategy_toString		
UserFixedPhaseSelectionStrategy_assignLiteral_int		
UserFixedPhaseSelectionStrategy_updateVar_int		
UserFixedPhaseSelectionStrategy_toString		
UserFixedPhaseSelectionStrategy_updateVarAtDecisionLevel_int		
RandomWalkDecorator_assignLiteral_int		
RandomWalkDecorator_getPhaseSelectionStrategy		
RandomWalkDecorator_getProbability		
RandomWalkDecorator_setProbability_double		
RandomWalkDecorator_init		
RandomWalkDecorator_printStat_PrintWriter_String		
RandomWalkDecorator_select		
RandomWalkDecorator_setLits_ILits		
RandomWalkDecorator_setPhaseSelectionStrategy_IPhaseSelectionStrategy		
RandomWalkDecorator_setVarDecay_double		
RandomWalkDecorator_undo_int		
RandomWalkDecorator_updateVar_int		
RandomWalkDecorator_varActivity_int		
RandomWalkDecorator_varDecayActivity		
RandomWalkDecorator_updateVarAtDecisionLevel_int		
RandomWalkDecorator_toString		
RandomWalkDecorator_getVariableHeuristics		
NaturalStaticOrder_setLits_ILits		
NaturalStaticOrder_select		
NaturalStaticOrder_undo_int		
NaturalStaticOrder_updateVar_int		
NaturalStaticOrder_init		
NaturalStaticOrder_printStat_PrintWriter_String		
NaturalStaticOrder_setVarDecay_double		
NaturalStaticOrder_varDecayActivity		
NaturalStaticOrder_varActivity_int		
NaturalStaticOrder_assignLiteral_int		
NaturalStaticOrder_setPhaseSelectionStrategy_IPhaseSelectionStrategy		
NaturalStaticOrder_getPhaseSelectionStrategy		
NaturalStaticOrder_updateVarAtDecisionLevel_int		
NaturalStaticOrder_getVariableHeuristics		
NaturalStaticOrder_toString		
ActivityBasedVariableComparator_preferredTo_int_int		
ActivityBasedVariableComparator_toString		
PureOrder_setPeriod_int		
PureOrder_getPeriod		
PureOrder_select		
PureOrder_toString		
LevelBasedVarOrderHeap_createHeap_double[]		
LevelBasedVarOrderHeap_addLevel_IVecInt		Add a new level with vars
LevelBasedVarOrderHeap_addLevel_int[]		
LevelBasedVarOrderHeap_init		
LevelBasedVarOrderHeap_toString		
NegativeLiteralSelectionStrategy_assignLiteral_int		
NegativeLiteralSelectionStrategy_init_int		
NegativeLiteralSelectionStrategy_init_int_int		
NegativeLiteralSelectionStrategy_select_int		
NegativeLiteralSelectionStrategy_updateVar_int		
NegativeLiteralSelectionStrategy_toString		
NegativeLiteralSelectionStrategy_updateVarAtDecisionLevel_int		
RSATPhaseSelectionStrategy_assignLiteral_int		
RSATPhaseSelectionStrategy_toString		
RSATPhaseSelectionStrategy_updateVar_int		
RSATPhaseSelectionStrategy_updateVarAtDecisionLevel_int		
LevelAndActivityVariableComparator_preferredTo_int_int		
LevelAndActivityVariableComparator_toString		
AbstractPhaserecordingSelectionStrategy_init_int		
AbstractPhaserecordingSelectionStrategy_init_int_int		
AbstractPhaserecordingSelectionStrategy_select_int		
