Google OR-Tools v9.15
a fast and portable software suite for combinatorial optimization
Loading...
Searching...
No Matches
cp_model.py File Reference

Go to the source code of this file.

Classes

class  ortools.sat.python.cp_model.CpModel
class  ortools.sat.python.cp_model.CpSolver
class  ortools.sat.python.cp_model.CpSolverSolutionCallback
class  ortools.sat.python.cp_model.ObjectiveSolutionPrinter
class  ortools.sat.python.cp_model.VarArrayAndObjectiveSolutionPrinter
class  ortools.sat.python.cp_model.VarArraySolutionPrinter

Namespaces

namespace  ortools
namespace  ortools.sat
namespace  ortools.sat.python
namespace  ortools.sat.python.cp_model

Functions

Callable[[Callable], Callable] ortools.sat.python.cp_model.deprecated (str message)
Callable ortools.sat.python.cp_model.deprecated_method (func, str old_name)
str ortools.sat.python.cp_model.snake_case_to_camel_case (str name)
bool ortools.sat.python.cp_model.object_is_a_true_literal (LiteralT literal)
bool ortools.sat.python.cp_model.object_is_a_false_literal (LiteralT literal)
pd.Index ortools.sat.python.cp_model._get_index (_IndexOrSeries obj)
pd.Series ortools.sat.python.cp_model._convert_to_series_and_validate_index (Union[LinearExprT, pd.Series] value_or_series, pd.Index index)
pd.Series ortools.sat.python.cp_model._convert_to_series_and_validate_index (Union[LiteralT, pd.Series] value_or_series, pd.Index index)
pd.Series ortools.sat.python.cp_model._convert_to_series_and_validate_index (Union[IntegralT, pd.Series] value_or_series, pd.Index index)
 ortools.sat.python.cp_model._convert_to_series_and_validate_index (value_or_series, index)

Variables

 ortools.sat.python.cp_model.BoundedLinearExpression = cmh.BoundedLinearExpression
 ortools.sat.python.cp_model.Constraint = cmh.Constraint
 ortools.sat.python.cp_model.CpModelProto = cmh.CpModelProto
 ortools.sat.python.cp_model.CpSolverResponse = cmh.CpSolverResponse
 ortools.sat.python.cp_model.CpSolverStatus = cmh.CpSolverStatus
 ortools.sat.python.cp_model.Domain = sorted_interval_list.Domain
 ortools.sat.python.cp_model.FlatFloatExpr = cmh.FlatFloatExpr
 ortools.sat.python.cp_model.FlatIntExpr = cmh.FlatIntExpr
 ortools.sat.python.cp_model.IntervalVar = cmh.IntervalVar
 ortools.sat.python.cp_model.IntVar = cmh.IntVar
 ortools.sat.python.cp_model.LinearExpr = cmh.LinearExpr
 ortools.sat.python.cp_model.NotBooleanVariable = cmh.NotBooleanVariable
 ortools.sat.python.cp_model.SatParameters = cmh.SatParameters
 ortools.sat.python.cp_model.INT_MIN = -(2**63)
int ortools.sat.python.cp_model.INT_MAX = 2**63 - 1
 ortools.sat.python.cp_model.INT32_MIN = -(2**31)
int ortools.sat.python.cp_model.INT32_MAX = 2**31 - 1
 ortools.sat.python.cp_model.UNKNOWN = cmh.CpSolverStatus.UNKNOWN
 ortools.sat.python.cp_model.MODEL_INVALID = cmh.CpSolverStatus.MODEL_INVALID
 ortools.sat.python.cp_model.FEASIBLE = cmh.CpSolverStatus.FEASIBLE
 ortools.sat.python.cp_model.INFEASIBLE = cmh.CpSolverStatus.INFEASIBLE
 ortools.sat.python.cp_model.OPTIMAL = cmh.CpSolverStatus.OPTIMAL
 ortools.sat.python.cp_model.CHOOSE_FIRST = cmh.DecisionStrategyProto.VariableSelectionStrategy.CHOOSE_FIRST
tuple ortools.sat.python.cp_model.CHOOSE_LOWEST_MIN
tuple ortools.sat.python.cp_model.CHOOSE_HIGHEST_MAX
tuple ortools.sat.python.cp_model.CHOOSE_MIN_DOMAIN_SIZE
tuple ortools.sat.python.cp_model.CHOOSE_MAX_DOMAIN_SIZE
 ortools.sat.python.cp_model.SELECT_MIN_VALUE = cmh.DecisionStrategyProto.DomainReductionStrategy.SELECT_MIN_VALUE
 ortools.sat.python.cp_model.SELECT_MAX_VALUE = cmh.DecisionStrategyProto.DomainReductionStrategy.SELECT_MAX_VALUE
 ortools.sat.python.cp_model.SELECT_LOWER_HALF = cmh.DecisionStrategyProto.DomainReductionStrategy.SELECT_LOWER_HALF
 ortools.sat.python.cp_model.SELECT_UPPER_HALF = cmh.DecisionStrategyProto.DomainReductionStrategy.SELECT_UPPER_HALF
tuple ortools.sat.python.cp_model.SELECT_MEDIAN_VALUE
tuple ortools.sat.python.cp_model.SELECT_RANDOM_HALF
 ortools.sat.python.cp_model.AUTOMATIC_SEARCH = cmh.SatParameters.SearchBranching.AUTOMATIC_SEARCH
 ortools.sat.python.cp_model.FIXED_SEARCH = cmh.SatParameters.SearchBranching.FIXED_SEARCH
 ortools.sat.python.cp_model.PORTFOLIO_SEARCH = cmh.SatParameters.SearchBranching.PORTFOLIO_SEARCH
 ortools.sat.python.cp_model.LP_SEARCH = cmh.SatParameters.SearchBranching.LP_SEARCH
 ortools.sat.python.cp_model.PSEUDO_COST_SEARCH = cmh.SatParameters.SearchBranching.PSEUDO_COST_SEARCH
tuple ortools.sat.python.cp_model.PORTFOLIO_WITH_QUICK_RESTART_SEARCH
 ortools.sat.python.cp_model.HINT_SEARCH = cmh.SatParameters.SearchBranching.HINT_SEARCH
 ortools.sat.python.cp_model.PARTIAL_FIXED_SEARCH = cmh.SatParameters.SearchBranching.PARTIAL_FIXED_SEARCH
 ortools.sat.python.cp_model.RANDOMIZED_SEARCH = cmh.SatParameters.SearchBranching.RANDOMIZED_SEARCH
 ortools.sat.python.cp_model.IntegralT = Union[int, np.int8, np.uint8, np.int32, np.uint32, np.int64, np.uint64]
tuple ortools.sat.python.cp_model.IntegralTypes
 ortools.sat.python.cp_model.NumberT
tuple ortools.sat.python.cp_model.NumberTypes
 ortools.sat.python.cp_model.LiteralT = Union[cmh.Literal, IntegralT, bool]
 ortools.sat.python.cp_model.BoolVarT = cmh.Literal
 ortools.sat.python.cp_model.VariableT = Union["IntVar", IntegralT]
 ortools.sat.python.cp_model.LinearExprT = Union[LinearExpr, "IntVar", IntegralT]
 ortools.sat.python.cp_model.ObjLinearExprT = Union[LinearExpr, NumberT]
 ortools.sat.python.cp_model.ArcT = tuple[IntegralT, IntegralT, LiteralT]
 ortools.sat.python.cp_model._IndexOrSeries = Union[pd.Index, pd.Series]
bool ortools.sat.python.cp_model.enable_warnings = False