C++ Reference
C++ Reference: CP-SAT
Here is a list of all namespace members with links to the namespace documentation for each member:
- s -
- SatParameters_BinaryMinizationAlgorithm : operations_research::sat
- SatParameters_BinaryMinizationAlgorithm_BINARY_MINIMIZATION_FIRST : operations_research::sat
- SatParameters_BinaryMinizationAlgorithm_BINARY_MINIMIZATION_FIRST_WITH_TRANSITIVE_REDUCTION : operations_research::sat
- SatParameters_BinaryMinizationAlgorithm_BINARY_MINIMIZATION_WITH_REACHABILITY : operations_research::sat
- SatParameters_BinaryMinizationAlgorithm_BinaryMinizationAlgorithm_ARRAYSIZE : operations_research::sat
- SatParameters_BinaryMinizationAlgorithm_BinaryMinizationAlgorithm_MAX : operations_research::sat
- SatParameters_BinaryMinizationAlgorithm_BinaryMinizationAlgorithm_MIN : operations_research::sat
- SatParameters_BinaryMinizationAlgorithm_descriptor() : operations_research::sat
- SatParameters_BinaryMinizationAlgorithm_EXPERIMENTAL_BINARY_MINIMIZATION : operations_research::sat
- SatParameters_BinaryMinizationAlgorithm_IsValid() : operations_research::sat
- SatParameters_BinaryMinizationAlgorithm_Name() : operations_research::sat
- SatParameters_BinaryMinizationAlgorithm_NO_BINARY_MINIMIZATION : operations_research::sat
- SatParameters_BinaryMinizationAlgorithm_Parse() : operations_research::sat
- SatParameters_ClauseOrdering : operations_research::sat
- SatParameters_ClauseOrdering_CLAUSE_ACTIVITY : operations_research::sat
- SatParameters_ClauseOrdering_CLAUSE_LBD : operations_research::sat
- SatParameters_ClauseOrdering_ClauseOrdering_ARRAYSIZE : operations_research::sat
- SatParameters_ClauseOrdering_ClauseOrdering_MAX : operations_research::sat
- SatParameters_ClauseOrdering_ClauseOrdering_MIN : operations_research::sat
- SatParameters_ClauseOrdering_descriptor() : operations_research::sat
- SatParameters_ClauseOrdering_IsValid() : operations_research::sat
- SatParameters_ClauseOrdering_Name() : operations_research::sat
- SatParameters_ClauseOrdering_Parse() : operations_research::sat
- SatParameters_ClauseProtection : operations_research::sat
- SatParameters_ClauseProtection_ClauseProtection_ARRAYSIZE : operations_research::sat
- SatParameters_ClauseProtection_ClauseProtection_MAX : operations_research::sat
- SatParameters_ClauseProtection_ClauseProtection_MIN : operations_research::sat
- SatParameters_ClauseProtection_descriptor() : operations_research::sat
- SatParameters_ClauseProtection_IsValid() : operations_research::sat
- SatParameters_ClauseProtection_Name() : operations_research::sat
- SatParameters_ClauseProtection_Parse() : operations_research::sat
- SatParameters_ClauseProtection_PROTECTION_ALWAYS : operations_research::sat
- SatParameters_ClauseProtection_PROTECTION_LBD : operations_research::sat
- SatParameters_ClauseProtection_PROTECTION_NONE : operations_research::sat
- SatParameters_ConflictMinimizationAlgorithm : operations_research::sat
- SatParameters_ConflictMinimizationAlgorithm_ConflictMinimizationAlgorithm_ARRAYSIZE : operations_research::sat
- SatParameters_ConflictMinimizationAlgorithm_ConflictMinimizationAlgorithm_MAX : operations_research::sat
- SatParameters_ConflictMinimizationAlgorithm_ConflictMinimizationAlgorithm_MIN : operations_research::sat
- SatParameters_ConflictMinimizationAlgorithm_descriptor() : operations_research::sat
- SatParameters_ConflictMinimizationAlgorithm_EXPERIMENTAL : operations_research::sat
- SatParameters_ConflictMinimizationAlgorithm_IsValid() : operations_research::sat
- SatParameters_ConflictMinimizationAlgorithm_Name() : operations_research::sat
- SatParameters_ConflictMinimizationAlgorithm_NONE : operations_research::sat
- SatParameters_ConflictMinimizationAlgorithm_Parse() : operations_research::sat
- SatParameters_ConflictMinimizationAlgorithm_RECURSIVE : operations_research::sat
- SatParameters_ConflictMinimizationAlgorithm_SIMPLE : operations_research::sat
- SatParameters_FPRoundingMethod : operations_research::sat
- SatParameters_FPRoundingMethod_ACTIVE_LOCK_BASED : operations_research::sat
- SatParameters_FPRoundingMethod_descriptor() : operations_research::sat
- SatParameters_FPRoundingMethod_FPRoundingMethod_ARRAYSIZE : operations_research::sat
- SatParameters_FPRoundingMethod_FPRoundingMethod_MAX : operations_research::sat
- SatParameters_FPRoundingMethod_FPRoundingMethod_MIN : operations_research::sat
- SatParameters_FPRoundingMethod_IsValid() : operations_research::sat
- SatParameters_FPRoundingMethod_LOCK_BASED : operations_research::sat
- SatParameters_FPRoundingMethod_Name() : operations_research::sat
- SatParameters_FPRoundingMethod_NEAREST_INTEGER : operations_research::sat
- SatParameters_FPRoundingMethod_Parse() : operations_research::sat
- SatParameters_FPRoundingMethod_PROPAGATION_ASSISTED : operations_research::sat
- SatParameters_MaxSatAssumptionOrder : operations_research::sat
- SatParameters_MaxSatAssumptionOrder_DEFAULT_ASSUMPTION_ORDER : operations_research::sat
- SatParameters_MaxSatAssumptionOrder_descriptor() : operations_research::sat
- SatParameters_MaxSatAssumptionOrder_IsValid() : operations_research::sat
- SatParameters_MaxSatAssumptionOrder_MaxSatAssumptionOrder_ARRAYSIZE : operations_research::sat
- SatParameters_MaxSatAssumptionOrder_MaxSatAssumptionOrder_MAX : operations_research::sat
- SatParameters_MaxSatAssumptionOrder_MaxSatAssumptionOrder_MIN : operations_research::sat
- SatParameters_MaxSatAssumptionOrder_Name() : operations_research::sat
- SatParameters_MaxSatAssumptionOrder_ORDER_ASSUMPTION_BY_DEPTH : operations_research::sat
- SatParameters_MaxSatAssumptionOrder_ORDER_ASSUMPTION_BY_WEIGHT : operations_research::sat
- SatParameters_MaxSatAssumptionOrder_Parse() : operations_research::sat
- SatParameters_MaxSatStratificationAlgorithm : operations_research::sat
- SatParameters_MaxSatStratificationAlgorithm_descriptor() : operations_research::sat
- SatParameters_MaxSatStratificationAlgorithm_IsValid() : operations_research::sat
- SatParameters_MaxSatStratificationAlgorithm_MaxSatStratificationAlgorithm_ARRAYSIZE : operations_research::sat
- SatParameters_MaxSatStratificationAlgorithm_MaxSatStratificationAlgorithm_MAX : operations_research::sat
- SatParameters_MaxSatStratificationAlgorithm_MaxSatStratificationAlgorithm_MIN : operations_research::sat
- SatParameters_MaxSatStratificationAlgorithm_Name() : operations_research::sat
- SatParameters_MaxSatStratificationAlgorithm_Parse() : operations_research::sat
- SatParameters_MaxSatStratificationAlgorithm_STRATIFICATION_ASCENT : operations_research::sat
- SatParameters_MaxSatStratificationAlgorithm_STRATIFICATION_DESCENT : operations_research::sat
- SatParameters_MaxSatStratificationAlgorithm_STRATIFICATION_NONE : operations_research::sat
- SatParameters_Polarity : operations_research::sat
- SatParameters_Polarity_descriptor() : operations_research::sat
- SatParameters_Polarity_IsValid() : operations_research::sat
- SatParameters_Polarity_Name() : operations_research::sat
- SatParameters_Polarity_Parse() : operations_research::sat
- SatParameters_Polarity_Polarity_ARRAYSIZE : operations_research::sat
- SatParameters_Polarity_POLARITY_FALSE : operations_research::sat
- SatParameters_Polarity_Polarity_MAX : operations_research::sat
- SatParameters_Polarity_Polarity_MIN : operations_research::sat
- SatParameters_Polarity_POLARITY_RANDOM : operations_research::sat
- SatParameters_Polarity_POLARITY_REVERSE_WEIGHTED_SIGN : operations_research::sat
- SatParameters_Polarity_POLARITY_TRUE : operations_research::sat
- SatParameters_Polarity_POLARITY_WEIGHTED_SIGN : operations_research::sat
- SatParameters_RestartAlgorithm : operations_research::sat
- SatParameters_RestartAlgorithm_descriptor() : operations_research::sat
- SatParameters_RestartAlgorithm_DL_MOVING_AVERAGE_RESTART : operations_research::sat
- SatParameters_RestartAlgorithm_FIXED_RESTART : operations_research::sat
- SatParameters_RestartAlgorithm_IsValid() : operations_research::sat
- SatParameters_RestartAlgorithm_LBD_MOVING_AVERAGE_RESTART : operations_research::sat
- SatParameters_RestartAlgorithm_LUBY_RESTART : operations_research::sat
- SatParameters_RestartAlgorithm_Name() : operations_research::sat
- SatParameters_RestartAlgorithm_NO_RESTART : operations_research::sat
- SatParameters_RestartAlgorithm_Parse() : operations_research::sat
- SatParameters_RestartAlgorithm_RestartAlgorithm_ARRAYSIZE : operations_research::sat
- SatParameters_RestartAlgorithm_RestartAlgorithm_MAX : operations_research::sat
- SatParameters_RestartAlgorithm_RestartAlgorithm_MIN : operations_research::sat
- SatParameters_SearchBranching : operations_research::sat
- SatParameters_SearchBranching_AUTOMATIC_SEARCH : operations_research::sat
- SatParameters_SearchBranching_descriptor() : operations_research::sat
- SatParameters_SearchBranching_FIXED_SEARCH : operations_research::sat
- SatParameters_SearchBranching_HINT_SEARCH : operations_research::sat
- SatParameters_SearchBranching_IsValid() : operations_research::sat
- SatParameters_SearchBranching_LP_SEARCH : operations_research::sat
- SatParameters_SearchBranching_Name() : operations_research::sat
- SatParameters_SearchBranching_Parse() : operations_research::sat
- SatParameters_SearchBranching_PORTFOLIO_SEARCH : operations_research::sat
- SatParameters_SearchBranching_PORTFOLIO_WITH_QUICK_RESTART_SEARCH : operations_research::sat
- SatParameters_SearchBranching_PSEUDO_COST_SEARCH : operations_research::sat
- SatParameters_SearchBranching_SearchBranching_ARRAYSIZE : operations_research::sat
- SatParameters_SearchBranching_SearchBranching_MAX : operations_research::sat
- SatParameters_SearchBranching_SearchBranching_MIN : operations_research::sat
- SatParameters_VariableOrder : operations_research::sat
- SatParameters_VariableOrder_descriptor() : operations_research::sat
- SatParameters_VariableOrder_IN_ORDER : operations_research::sat
- SatParameters_VariableOrder_IN_RANDOM_ORDER : operations_research::sat
- SatParameters_VariableOrder_IN_REVERSE_ORDER : operations_research::sat
- SatParameters_VariableOrder_IsValid() : operations_research::sat
- SatParameters_VariableOrder_Name() : operations_research::sat
- SatParameters_VariableOrder_Parse() : operations_research::sat
- SatParameters_VariableOrder_VariableOrder_ARRAYSIZE : operations_research::sat
- SatParameters_VariableOrder_VariableOrder_MAX : operations_research::sat
- SatParameters_VariableOrder_VariableOrder_MIN : operations_research::sat
- SetSynchronizationFunction() : operations_research::sat
- SolutionBooleanValue() : operations_research::sat
- SolutionIntegerMax() : operations_research::sat
- SolutionIntegerMin() : operations_research::sat
- SolutionIntegerValue() : operations_research::sat
- Solve() : operations_research::sat
- SolveCpModel() : operations_research::sat
- SolveWithParameters() : operations_research::sat
- SumOfKMaxValueInDomain() : operations_research
- SumOfKMinValueInDomain() : operations_research