File name		Description
AbstractLearning_setVarActivityListener_VarActivityListener		
AbstractLearning_setSolver_Solver<D>		
AbstractLearning_claBumpActivity_Constr		
AbstractLearning_init		
MiniSATLearning_setDataStructureFactory_DataStructureFactory		
MiniSATLearning_setSolver_Solver<D>		
MiniSATLearning_learns_Constr		
MiniSATLearning_toString		
ClauseOnlyLearning_learningCondition_Constr		
ClauseOnlyLearning_toString		
LimitedLearning_setSolver_Solver<D>		
LimitedLearning_learns_Constr		
LimitedLearning_learningCondition_Constr		
LimitedLearning_init		
LimitedLearning_setVarActivityListener_VarActivityListener		
FixedLengthLearning_init		
FixedLengthLearning_setMaxLength_int		
FixedLengthLearning_getMaxLength		
FixedLengthLearning_toString		
FixedLengthLearning_setBound_int		
FixedLengthLearning_learningCondition_Constr		
PercentLengthLearning_setLimit_int		
PercentLengthLearning_getLimit		
PercentLengthLearning_init		
PercentLengthLearning_toString		
PercentLengthLearning_setBound_int		
PercentLengthLearning_learningCondition_Constr		
ActiveLearning_setOrder_IOrder		
ActiveLearning_setSolver_Solver<D>		
ActiveLearning_setActivityPercent_double		
ActiveLearning_getActivityPercent		
ActiveLearning_learningCondition_Constr		
ActiveLearning_toString		
ActiveLearning_setLimit_int		
ActiveLearning_getLimit		
NoLearningNoHeuristics_learns_Constr		
NoLearningButHeuristics_learns_Constr		
