File name		Description
MaxSatDecorator_setExpectedNumberOfClauses_int		
MaxSatDecorator_addClause_IVecInt		
MaxSatDecorator_reset		
MaxSatDecorator_hasNoObjectiveFunction		
MaxSatDecorator_nonOptimalMeansSatisfiable		
MaxSatDecorator_calculateObjective		
MaxSatDecorator_discardCurrentSolution		
MaxSatDecorator_admitABetterSolution_IVecInt		
MaxSatDecorator_discard		
MaxSatDecorator_getObjectiveValue		
MaxSatDecorator_calculateObjectiveValue		
MaxSatDecorator_forceObjectiveValueTo_Number		
MaxSatDecorator_setTimeoutForFindingBetterSolution_int		
MinOneDecorator_admitABetterSolution		
MinOneDecorator_admitABetterSolution_IVecInt		
MinOneDecorator_hasNoObjectiveFunction		
MinOneDecorator_nonOptimalMeansSatisfiable		
MinOneDecorator_calculateObjective		
MinOneDecorator_calculateObjectiveValue		
MinOneDecorator_discardCurrentSolution		
MinOneDecorator_model		
MinOneDecorator_modelWithInternalVariables		
MinOneDecorator_reset		
MinOneDecorator_getObjectiveValue		
MinOneDecorator_discard		
MinOneDecorator_forceObjectiveValueTo_Number		
MinOneDecorator_isOptimal		
MinOneDecorator_setTimeoutForFindingBetterSolution_int		
AbstractSelectorVariablesDecorator_setExpectedNumberOfClauses_int		
AbstractSelectorVariablesDecorator_getExpectedNumberOfClauses		
AbstractSelectorVariablesDecorator_admitABetterSolution		
AbstractSelectorVariablesDecorator_admitABetterSolution_IVecInt		
AbstractSelectorVariablesDecorator_calculateObjectiveValue		
AbstractSelectorVariablesDecorator_model		
AbstractSelectorVariablesDecorator_model_int		
AbstractSelectorVariablesDecorator_discardCurrentModel		
AbstractSelectorVariablesDecorator_createBlockingClauseForCurrentModel		
AbstractSelectorVariablesDecorator_isOptimal		
AbstractSelectorVariablesDecorator_getNbexpectedclauses		
AbstractSelectorVariablesDecorator_setNbexpectedclauses_int		
AbstractSelectorVariablesDecorator_getPrevfullmodel		
AbstractSelectorVariablesDecorator_setPrevfullmodel_int[]		
AbstractSelectorVariablesDecorator_getPrevmodel		
AbstractSelectorVariablesDecorator_setPrevmodel_int[]		
AbstractSelectorVariablesDecorator_getPrevboolmodel		
AbstractSelectorVariablesDecorator_setPrevboolmodel_boolean[]		
AbstractSelectorVariablesDecorator_isSolutionOptimal		
AbstractSelectorVariablesDecorator_setSolutionOptimal_boolean		
