File name		Description
ConfigVarMap_getSolverVar_String		Returns the solver variable mapped with a configuration variable. If a
		solver variable is not already mapped with the configuration variable, a
		new solver variable is reserved and returned.
ConfigVarMap_configVarExists_String		Checks if a configuration variable is already mapped with a solver
		variable.
ConfigVarMap_getConfigVar_Integer		Returns the configuration variable mapped with a solver variable
ConfigVarMap_isAdditionalVar_Integer		Checks if a solver variable or its negation is mapped with an additional
		variable
ConfigVarMap_isAdditionalVar_String		Checks if a solver variable or its negation is mapped with an additional
		variable
ConfigVarMap_isConfigVar_Integer		Checks if a solver variable or its negation is mapped with a
		configuration variable
ConfigVarMap_isConfigVar_String		Checks if a variable is a configuration variable
ConfigVarMap_isJokerValuedConfigVar_String		Checks if a variable is a configuration variable with a valid version
		number, i.e. already defined.
ConfigVarMap_getConfigVarDomain_String		Returns all the configuration variables which have the same name as the
		one passed as a parameter (included) as a set of String.
ConfigVarMap_getDomain_String		Returns all the configuration variables which have the same name as the
		one passed as a parameter (included) as a set of String.
ConfigVarMap_setAsOptionalConfigVar_String[]		Sets a configuration variable (and all the ones which have the same name)
		as optional. This method must be called for some other, included
		implications counting one, but maybe not restricted to, to work properly.
ConfigVarMap_isOptionalDomainVar_String		Checks if a configuration variable is optional.
ConfigVarMap_extractVarName_String		
ConfigVarMap_extractVarVersion_String		
ConfigVarMap_isBooleanVar_String		
ConfigVarMap_getVars		
ConfigVarMap_getMapping		
Br4cpScenarioSimulator_processScenario_IBr4cpBackboneComputer_String		
Br4cpScenarioSimulator_processWord_IBr4cpBackboneComputer_String		
Br4cpScenarioSimulator_printNewlyAsserted_IBr4cpBackboneComputer		
Br4cpScenarioSimulator_printNewlyAsserted_IBr4cpBackboneComputer_String_String		
Br4cpScenarioSimulator_readInstance_String_IGroupSolver_ConfigVarMap		
Options_getInstance		
Options_parseCommandLine_String args[]		
Options_processParameter_String		
Options_processOption_String		
Options_getInstanceFile		
Options_getScenarioFile		
Options_getOutStream		
Options_getPriceFile		
Options_getBackboneComputer_ISolver_ConfigVarMap		
Options_areReplacementAllowed		
Utils_extractValeur_String		
Utils_extractName_String		
AraliaParser_getFormula_String		Parses an Aralia formula and returns a tree which represents it.
AraliaParser_isTerm_String		
AraliaParser_readTerm_String		
AraliaParser_readExpression_String		
AraliaParser_isImplication_String		
AraliaParser_isEquivalence_String		
AraliaParser_readNegated_String		
AraliaParser_negate_LogicFormulaNode		
AraliaParser_readConjunction_String		
AraliaParser_readImplication_String		
AraliaParser_readEquivalence_String		
AraliaParser_isConjunction_String		
AraliaParser_readDisjunction_String		
AraliaParser_splitSons_String_char		
AraliaParser_splitSons_String_String		
AraliaParser_isDisjunction_String		
AraliaParser_readExpressionWithinParanthesis_String		
AraliaParser_lookForSubsumedSons_LogicFormulaNode		
Br4cpConfigurator_readProblem_String		
Br4cpConfigurator_initialize		
Br4cpConfigurator_assignAndPropagate_String_String		
Br4cpConfigurator_unassignAndRestore_String		
Br4cpConfigurator_minCost		
Br4cpConfigurator_minCostConfiguration		
Br4cpConfigurator_maxCost		
Br4cpConfigurator_maxCostConfiguration		
Br4cpConfigurator_getSizeOfCurrentDomainOf_String		
Br4cpConfigurator_isPresentInCurrentDomain_String_String		
Br4cpConfigurator_getCurrentDomainOf_String		
Br4cpConfigurator_minCosts_String		
Br4cpConfigurator_maxCosts_String		
Br4cpConfigurator_getFreeVariables		
Br4cpConfigurator_isConfigurationComplete		
Br4cpConfigurator_isPossiblyConsistent		
Br4cpConfigurator_getAlternativeDomainOf_String		
DefaultBr4cpBackboneComputer_computeBackbone_ISolver		
DefaultBr4cpBackboneComputer_computePropagationsAndReductions_IVecInt		
DefaultBr4cpBackboneComputer_addAssumption_String		
DefaultBr4cpBackboneComputer_removeAssumedConfigVar_String		
DefaultBr4cpBackboneComputer_setOptionalConfigVarAsNotInstalled_String		
DefaultBr4cpBackboneComputer_addAdditionalVarAssumption_String		
DefaultBr4cpBackboneComputer_clearAssumptions		
DefaultBr4cpBackboneComputer_propagatedConfigVars		
DefaultBr4cpBackboneComputer_domainReductions		
DefaultBr4cpBackboneComputer_propagatedAdditionalVars		
DefaultBr4cpBackboneComputer_unavailableAdditionalVars		
DefaultBr4cpBackboneComputer_getSolverAssumptions		
DefaultBr4cpBackboneComputer_getNumberOfSATCalls		
DefaultBr4cpBackboneComputer_isPresentInCurrentDomain_String_String		
DefaultBr4cpBackboneComputer_getSizeOfCurrentDomainOf_String		
DefaultBr4cpBackboneComputer_getCurrentDomainOf_String		
DefaultBr4cpBackboneComputer_unassign_String		
DefaultBr4cpBackboneComputer_getFreeVariables		
Br4cpAraliaReader_parseInstance_String		Parses an Aralia instance and translate it into the solver.
Br4cpAraliaReader_parsePrices_String		
Br4cpAraliaReader_parseInstance		
Br4cpAraliaReader_parseLine_String		
Br4cpAraliaReader_newDeclarationLine_String		
Br4cpAraliaReader_newCardinalityConstraint_int_int_String[]		
Br4cpAraliaReader_newClausalConstraint_String		
Br4cpAraliaReader_newClausalConstraint_String_int_boolean		
Br4cpAraliaReader_normalizeLine_String		
Br4cpAraliaReader_removeEnclosingParanthesis_String		
Br4cpAraliaReader_removeSpaces_String		
Br4cpAraliaReader_removeComments_String		
Br4cpAraliaReader_decode_IVecInt		
ConfigVarComparator_compare_String_String		
Launcher_main_String[]		
FormulaToSolver_encode_LogicFormulaNode_int		Encodes a formula into the solver
FormulaToSolver_encode_LogicFormulaNode_boolean_int		
FormulaToSolver_processNode_IGroupSolver_LogicFormulaNode_int		
FormulaToSolver_processNode_IGroupSolver_LogicFormulaNode_boolean_int		
FormulaToSolver_processFlatFormula_IGroupSolver_LogicFormulaNode_IVecInt_int		
FormulaToSolver_getTermId_IGroupSolver_LogicFormulaNode		
FormulaToSolver_isFlatFormula_LogicFormulaNode		
FormulaToSolver_areAllSonsTerms_LogicFormulaNode		
FormulaToSolver_isTerm_LogicFormulaNode		
Sat4jConfiguratorFactory_instance		
Sat4jConfiguratorFactory_make_Protocol		
Valeur_toString		
Br4cpCLI_initialize		
Br4cpCLI_getTimeForMaintainingGIC		
Br4cpCLI_getNonGICValues		
Br4cpCLI_getProblem		
Br4cpCLI_printAsserted_IBr4cpBackboneComputer_String_String		
Br4cpCLI_readInstance_String_String_IGroupSolver_ConfigVarMap		
Br4cpCLI_runCLI		
Br4cpCLI_restart_String		
Br4cpCLI_quit_String		
Br4cpCLI_explain_String		
Br4cpCLI_assume_String		
Br4cpCLI_assumeMe_String		
Br4cpCLI_minimize_String		
Br4cpCLI_minimize		
Br4cpCLI_getObjectiveValue		
Br4cpCLI_printAssumptions		
Br4cpCLI_printAsserted_IBr4cpBackboneComputer		
Br4cpCLI_addAssumption_String		
Br4cpCLI_getBackboneComputer		
Br4cpCLI_isPresentInCurrentDomain_String_String		
Br4cpCLI_getSizeOfCurrentDomainOf_String		
Br4cpCLI_getCurrentDomainOf_String		
Br4cpCLI_unassign_String		
Br4cpCLI_getFreeVariables		
Br4cpCLI_isConfigurationComplete		
