OR-Tools  8.2
SatInterface Member List

This is the complete list of members for SatInterface, including all inherited members.

AddIndicatorConstraint(MPConstraint *const ct) overrideSatInterfaceinlinevirtual
AddRowConstraint(MPConstraint *const ct) overrideSatInterfacevirtual
AddVariable(MPVariable *const var) overrideSatInterfacevirtual
best_objective_bound() constMPSolverInterface
best_objective_bound_MPSolverInterfaceprotected
BranchingPriorityChangedForVariable(int var_index)MPSolverInterfaceinlinevirtual
CheckSolutionExists() constMPSolverInterfacevirtual
CheckSolutionIsSynchronized() constMPSolverInterface
CheckSolutionIsSynchronizedAndExists() constMPSolverInterfaceinline
ClearConstraint(MPConstraint *const constraint) overrideSatInterfacevirtual
ClearObjective() overrideSatInterfacevirtual
column_status(int variable_index) const overrideSatInterfacevirtual
ComputeExactConditionNumber() constMPSolverInterfacevirtual
constraint_is_extracted(int ct_index) constMPSolverInterfaceinline
DirectlySolveProto(const MPModelRequest &request)MPSolverInterfaceinlinevirtual
ExtractModel()MPSolverInterfaceprotected
ExtractNewConstraints() overrideSatInterfacevirtual
ExtractNewVariables() overrideSatInterfacevirtual
ExtractObjective() overrideSatInterfacevirtual
InterruptSolve() overrideSatInterfacevirtual
InvalidateSolutionSynchronization()MPSolverInterfaceprotected
IsContinuous() const overrideSatInterfacevirtual
IsLP() const overrideSatInterfacevirtual
IsMIP() const overrideSatInterfacevirtual
iterations() const overrideSatInterfacevirtual
kDummyVariableIndexMPSolverInterfaceprotectedstatic
kUnknownNumberOfIterationsMPSolverInterfacestatic
kUnknownNumberOfNodesMPSolverInterfacestatic
last_constraint_index_MPSolverInterfaceprotected
last_variable_index() constMPSolverInterfaceinline
last_variable_index_MPSolverInterfaceprotected
maximize_MPSolverInterfaceprotected
MODEL_SYNCHRONIZED enum valueMPSolverInterface
MPSolverInterface(MPSolver *const solver)MPSolverInterfaceexplicit
MUST_RELOAD enum valueMPSolverInterface
NextSolution()MPSolverInterfaceinlinevirtual
nodes() const overrideSatInterfacevirtual
objective_value() constMPSolverInterface
objective_value_MPSolverInterfaceprotected
quiet() constMPSolverInterfaceinline
quiet_MPSolverInterfaceprotected
Reset() overrideSatInterfacevirtual
ResetExtractionInformation()MPSolverInterfaceprotected
result_status() constMPSolverInterfaceinline
result_status_MPSolverInterfaceprotected
row_status(int constraint_index) const overrideSatInterfacevirtual
SatInterface(MPSolver *const solver)SatInterfaceexplicit
set_constraint_as_extracted(int ct_index, bool extracted)MPSolverInterfaceinline
set_quiet(bool quiet_value)MPSolverInterfaceinline
set_variable_as_extracted(int var_index, bool extracted)MPSolverInterfaceinline
SetCallback(MPCallback *mp_callback)MPSolverInterfaceinlinevirtual
SetCoefficient(MPConstraint *const constraint, const MPVariable *const variable, double new_value, double old_value) overrideSatInterfacevirtual
SetCommonParameters(const MPSolverParameters &param)MPSolverInterfaceprotected
SetConstraintBounds(int index, double lb, double ub) overrideSatInterfacevirtual
SetDoubleParamToUnsupportedValue(MPSolverParameters::DoubleParam param, double value)MPSolverInterfaceprotected
SetDualTolerance(double value) overrideSatInterfacevirtual
SetIntegerParamToUnsupportedValue(MPSolverParameters::IntegerParam param, int value)MPSolverInterfaceprotectedvirtual
SetLpAlgorithm(int value) overrideSatInterfacevirtual
SetMIPParameters(const MPSolverParameters &param)MPSolverInterfaceprotected
SetNumThreads(int num_threads) overrideSatInterfacevirtual
SetObjectiveCoefficient(const MPVariable *const variable, double coefficient) overrideSatInterfacevirtual
SetObjectiveOffset(double value) overrideSatInterfacevirtual
SetOptimizationDirection(bool maximize) overrideSatInterfacevirtual
SetParameters(const MPSolverParameters &param) overrideSatInterfacevirtual
SetPresolveMode(int value) overrideSatInterfacevirtual
SetPrimalTolerance(double value) overrideSatInterfacevirtual
SetRelativeMipGap(double value) overrideSatInterfacevirtual
SetScalingMode(int value) overrideSatInterfacevirtual
SetSolverSpecificParametersAsString(const std::string &parameters) overrideSatInterfacevirtual
SetStartingLpBasis(const std::vector< MPSolver::BasisStatus > &variable_statuses, const std::vector< MPSolver::BasisStatus > &constraint_statuses)MPSolverInterfaceinlinevirtual
SetUnsupportedDoubleParam(MPSolverParameters::DoubleParam param)MPSolverInterfaceprotected
SetUnsupportedIntegerParam(MPSolverParameters::IntegerParam param)MPSolverInterfaceprotectedvirtual
SetVariableBounds(int index, double lb, double ub) overrideSatInterfacevirtual
SetVariableInteger(int index, bool integer) overrideSatInterfacevirtual
SOLUTION_SYNCHRONIZED enum valueMPSolverInterface
Solve(const MPSolverParameters &param) overrideSatInterfacevirtual
solver_MPSolverInterfaceprotected
SolverVersion() const overrideSatInterfacevirtual
SupportsCallbacks() constMPSolverInterfaceinlinevirtual
sync_status_MPSolverInterfaceprotected
SynchronizationStatus enum nameMPSolverInterface
underlying_solver() overrideSatInterfacevirtual
variable_is_extracted(int var_index) constMPSolverInterfaceinline
Write(const std::string &filename)MPSolverInterfacevirtual
~MPSolverInterface()MPSolverInterfacevirtual
~SatInterface() overrideSatInterface