ortools.sat.python.swig_helper

class SolutionCallback(pybind11_builtins.pybind11_object):

SolutionCallback()

__init__(self: ortools.sat.python.swig_helper.SolutionCallback) -> None

def OnSolutionCallback(self) -> None:

OnSolutionCallback(self: ortools.sat.python.swig_helper.SolutionCallback) -> None

def BestObjectiveBound(self) -> float:

BestObjectiveBound(self: ortools.sat.python.swig_helper.SolutionCallback) -> float

def DeterministicTime(self) -> float:

DeterministicTime(self: ortools.sat.python.swig_helper.SolutionCallback) -> float

def HasResponse(self) -> bool:

HasResponse(self: ortools.sat.python.swig_helper.SolutionCallback) -> bool

def NumBinaryPropagations(self) -> int:

NumBinaryPropagations(self: ortools.sat.python.swig_helper.SolutionCallback) -> int

def NumBooleans(self) -> int:

NumBooleans(self: ortools.sat.python.swig_helper.SolutionCallback) -> int

def NumBranches(self) -> int:

NumBranches(self: ortools.sat.python.swig_helper.SolutionCallback) -> int

def NumConflicts(self) -> int:

NumConflicts(self: ortools.sat.python.swig_helper.SolutionCallback) -> int

def NumIntegerPropagations(self) -> int:

NumIntegerPropagations(self: ortools.sat.python.swig_helper.SolutionCallback) -> int

def ObjectiveValue(self) -> float:

ObjectiveValue(self: ortools.sat.python.swig_helper.SolutionCallback) -> float

def Response(self, *args, **kwargs):

Response(self: ortools.sat.python.swig_helper.SolutionCallback) -> operations_research::sat::CpSolverResponse

def SolutionBooleanValue(self, index: int) -> bool:

SolutionBooleanValue(self: ortools.sat.python.swig_helper.SolutionCallback, index: int) -> bool

def SolutionIntegerValue(self, index: int) -> int:

SolutionIntegerValue(self: ortools.sat.python.swig_helper.SolutionCallback, index: int) -> int

def StopSearch(self) -> None:

StopSearch(self: ortools.sat.python.swig_helper.SolutionCallback) -> None

def UserTime(self) -> float:

UserTime(self: ortools.sat.python.swig_helper.SolutionCallback) -> float

def WallTime(self) -> float:

WallTime(self: ortools.sat.python.swig_helper.SolutionCallback) -> float

class SolveWrapper(pybind11_builtins.pybind11_object):

SolveWrapper()

__init__(self: ortools.sat.python.swig_helper.SolveWrapper) -> None

def add_log_callback(self, log_callback: Callable[[str], NoneType]) -> None:

add_log_callback(self: ortools.sat.python.swig_helper.SolveWrapper, log_callback: Callable[[str], None]) -> None

def add_solution_callback(self, callback: SolutionCallback) -> None:

add_solution_callback(self: ortools.sat.python.swig_helper.SolveWrapper, callback: ortools.sat.python.swig_helper.SolutionCallback) -> None

def clear_solution_callback(self, arg0: SolutionCallback) -> None:

clear_solution_callback(self: ortools.sat.python.swig_helper.SolveWrapper, arg0: ortools.sat.python.swig_helper.SolutionCallback) -> None

def add_best_bound_callback(self, best_bound_callback: Callable[[float], NoneType]) -> None:

add_best_bound_callback(self: ortools.sat.python.swig_helper.SolveWrapper, best_bound_callback: Callable[[float], None]) -> None

def set_parameters(self, parameters) -> None:

set_parameters(self: ortools.sat.python.swig_helper.SolveWrapper, parameters: operations_research::sat::SatParameters) -> None

def solve(self, *args, **kwargs):

solve(self: ortools.sat.python.swig_helper.SolveWrapper, arg0: operations_research::sat::CpModelProto) -> operations_research::sat::CpSolverResponse

def stop_search(self) -> None:

stop_search(self: ortools.sat.python.swig_helper.SolveWrapper) -> None

class CpSatHelper(pybind11_builtins.pybind11_object):

CpSatHelper(*args, **kwargs)

def model_stats(model_proto) -> str:

model_stats(model_proto: operations_research::sat::CpModelProto) -> str

def solver_response_stats(response) -> str:

solver_response_stats(response: operations_research::sat::CpSolverResponse) -> str

def validate_model(model_proto) -> str:

validate_model(model_proto: operations_research::sat::CpModelProto) -> str

def variable_domain(variable_proto) -> ortools.util.python.sorted_interval_list.Domain:

variable_domain(variable_proto: operations_research::sat::IntegerVariableProto) -> ortools.util.python.sorted_interval_list.Domain

def write_model_to_file(model_proto, filename: str) -> bool:

write_model_to_file(model_proto: operations_research::sat::CpModelProto, filename: str) -> bool