Google OR-Tools v9.11
a fast and portable software suite for combinatorial optimization
Loading...
Searching...
No Matches
operations_research::sat::PresolveContext Member List

This is the complete list of members for operations_research::sat::PresolveContext, including all inherited members.

AddImplication(int a, int b)operations_research::sat::PresolveContext
AddImplyInDomain(int b, int x, const Domain &domain)operations_research::sat::PresolveContext
AddLiteralToObjective(int ref, int64_t value)operations_research::sat::PresolveContext
AddToObjective(int var, int64_t value)operations_research::sat::PresolveContext
AddToObjectiveOffset(int64_t delta)operations_research::sat::PresolveContext
AffineRelationDebugString(int ref) constoperations_research::sat::PresolveContext
CanBeUsedAsLiteral(int ref) constoperations_research::sat::PresolveContext
CanonicalizeAffineVariable(int ref, int64_t coeff, int64_t mod, int64_t rhs)operations_research::sat::PresolveContext
CanonicalizeDomainOfSizeTwo(int var)operations_research::sat::PresolveContext
CanonicalizeLinearConstraint(ConstraintProto *ct)operations_research::sat::PresolveContext
CanonicalizeLinearExpression(absl::Span< const int > enforcements, LinearExpressionProto *expr)operations_research::sat::PresolveContext
CanonicalizeObjective(bool simplify_domain=true)operations_research::sat::PresolveContext
CanonicalizeOneObjectiveVariable(int var)operations_research::sat::PresolveContext
CanonicalizeVariable(int ref)operations_research::sat::PresolveContext
CappedUpdateMinMaxActivity(int var, int64_t coeff, int64_t *min_activity, int64_t *max_activity)operations_research::sat::PresolveContextinline
ClearPrecedenceCache()operations_research::sat::PresolveContext
ClearStats()operations_research::sat::PresolveContext
ComputeMinMaxActivity(const ProtoWithVarsAndCoeffs &proto) constoperations_research::sat::PresolveContextinline
ConstraintIsInactive(int ct_index) constoperations_research::sat::PresolveContext
ConstraintIsOptional(int ct_ref) constoperations_research::sat::PresolveContext
ConstraintToVars(int c) constoperations_research::sat::PresolveContextinline
ConstraintVariableGraphIsUpToDate() constoperations_research::sat::PresolveContext
ConstraintVariableUsageIsConsistent()operations_research::sat::PresolveContext
deductionsoperations_research::sat::PresolveContext
DomainContains(int ref, int64_t value) constoperations_research::sat::PresolveContext
DomainContains(const LinearExpressionProto &expr, int64_t value) constoperations_research::sat::PresolveContext
DomainIsEmpty(int ref) constoperations_research::sat::PresolveContext
DomainOf(int ref) constoperations_research::sat::PresolveContext
DomainOfVarIsIncludedIn(int var, const Domain &domain)operations_research::sat::PresolveContextinline
DomainSuperSetOf(const LinearExpressionProto &expr) constoperations_research::sat::PresolveContext
EndMax(int ct_ref) constoperations_research::sat::PresolveContext
EndMin(int ct_ref) constoperations_research::sat::PresolveContext
ExploitExactlyOneInObjective(absl::Span< const int > exactly_one)operations_research::sat::PresolveContext
ExpressionIsAffineBoolean(const LinearExpressionProto &expr) constoperations_research::sat::PresolveContext
ExpressionIsALiteral(const LinearExpressionProto &expr, int *literal=nullptr) constoperations_research::sat::PresolveContext
ExpressionIsSingleVariable(const LinearExpressionProto &expr) constoperations_research::sat::PresolveContext
FixedValue(int ref) constoperations_research::sat::PresolveContext
FixedValue(const LinearExpressionProto &expr) constoperations_research::sat::PresolveContext
GetAffineRelation(int ref) constoperations_research::sat::PresolveContext
GetFalseLiteral()operations_research::sat::PresolveContext
GetLiteralRepresentative(int ref) constoperations_research::sat::PresolveContext
GetOrCreateAffineValueEncoding(const LinearExpressionProto &expr, int64_t value)operations_research::sat::PresolveContext
GetOrCreateReifiedPrecedenceLiteral(const LinearExpressionProto &time_i, const LinearExpressionProto &time_j, int active_i, int active_j)operations_research::sat::PresolveContext
GetOrCreateVarValueEncoding(int ref, int64_t value)operations_research::sat::PresolveContext
GetReifiedPrecedenceKey(const LinearExpressionProto &time_i, const LinearExpressionProto &time_j, int active_i, int active_j)operations_research::sat::PresolveContext
GetTrueLiteral()operations_research::sat::PresolveContext
HasVarValueEncoding(int ref, int64_t value, int *literal=nullptr)operations_research::sat::PresolveContext
InitializeNewDomains()operations_research::sat::PresolveContext
InsertVarValueEncoding(int literal, int var, int64_t value)operations_research::sat::PresolveContext
IntersectDomainWith(int ref, const Domain &domain, bool *domain_modified=nullptr)operations_research::sat::PresolveContext
IntersectDomainWith(const LinearExpressionProto &expr, const Domain &domain, bool *domain_modified=nullptr)operations_research::sat::PresolveContext
IntervalDebugString(int ct_ref) constoperations_research::sat::PresolveContext
IntervalIsConstant(int ct_ref) constoperations_research::sat::PresolveContext
IntervalUsage(int c) constoperations_research::sat::PresolveContextinline
IsFixed(int ref) constoperations_research::sat::PresolveContext
IsFixed(const LinearExpressionProto &expr) constoperations_research::sat::PresolveContext
IsFullyEncoded(int ref) constoperations_research::sat::PresolveContext
IsFullyEncoded(const LinearExpressionProto &expr) constoperations_research::sat::PresolveContext
keep_all_feasible_solutionsoperations_research::sat::PresolveContext
LiteralForExpressionMax(const LinearExpressionProto &expr) constoperations_research::sat::PresolveContext
LiteralIsFalse(int lit) constoperations_research::sat::PresolveContext
LiteralIsTrue(int lit) constoperations_research::sat::PresolveContext
LoadSolutionHint()operations_research::sat::PresolveContext
logger() constoperations_research::sat::PresolveContextinline
LogInfo()operations_research::sat::PresolveContext
mapping_modeloperations_research::sat::PresolveContext
MarkVariableAsRemoved(int ref)operations_research::sat::PresolveContext
MaxOf(int ref) constoperations_research::sat::PresolveContext
MaxOf(const LinearExpressionProto &expr) constoperations_research::sat::PresolveContext
MinOf(int ref) constoperations_research::sat::PresolveContext
MinOf(const LinearExpressionProto &expr) constoperations_research::sat::PresolveContext
ModelIsExpanded() constoperations_research::sat::PresolveContextinline
ModelIsUnsat() constoperations_research::sat::PresolveContextinline
modified_domainsoperations_research::sat::PresolveContext
NewBoolVar()operations_research::sat::PresolveContext
NewBoolVarWithClause(absl::Span< const int > clause)operations_research::sat::PresolveContext
NewIntVar(const Domain &domain)operations_research::sat::PresolveContext
NewIntVarWithDefinition(const Domain &domain, absl::Span< const std::pair< int, int64_t > > definition)operations_research::sat::PresolveContext
NewMappingConstraint(absl::string_view file, int line)operations_research::sat::PresolveContext
NewMappingConstraint(const ConstraintProto &base_ct, absl::string_view file, int line)operations_research::sat::PresolveContext
NotifyThatModelIsExpanded()operations_research::sat::PresolveContextinline
NotifyThatModelIsUnsat(absl::string_view message="")operations_research::sat::PresolveContextinline
num_presolve_operationsoperations_research::sat::PresolveContext
NumAffineRelations() constoperations_research::sat::PresolveContextinline
ObjectiveCoeff(int var) constoperations_research::sat::PresolveContextinline
ObjectiveDomain() constoperations_research::sat::PresolveContextinline
ObjectiveDomainIsConstraining() constoperations_research::sat::PresolveContextinline
ObjectiveMap() constoperations_research::sat::PresolveContextinline
params() constoperations_research::sat::PresolveContextinline
PresolveContext(Model *model, CpModelProto *cp_model, CpModelProto *mapping)operations_research::sat::PresolveContextinline
PropagateAffineRelation(int ref)operations_research::sat::PresolveContext
PropagateAffineRelation(int ref, int rep, int64_t coeff, int64_t offset)operations_research::sat::PresolveContext
random()operations_research::sat::PresolveContextinline
ReadObjectiveFromProto()operations_research::sat::PresolveContext
RecomputeSingletonObjectiveDomain()operations_research::sat::PresolveContext
RefDebugString(int ref) constoperations_research::sat::PresolveContext
RegisterVariablesUsedInAssumptions()operations_research::sat::PresolveContextinline
RemoveAllVariablesFromAffineRelationConstraint()operations_research::sat::PresolveContext
RemoveVariableFromAffineRelation(int var)operations_research::sat::PresolveContext
RemoveVariableFromObjective(int ref)operations_research::sat::PresolveContext
ScaleFloatingPointObjective()operations_research::sat::PresolveContext
SetLiteralToFalse(int lit)operations_research::sat::PresolveContext
SetLiteralToTrue(int lit)operations_research::sat::PresolveContext
ShiftCostInExactlyOne(absl::Span< const int > exactly_one, int64_t shift)operations_research::sat::PresolveContext
SizeMax(int ct_ref) constoperations_research::sat::PresolveContext
SizeMin(int ct_ref) constoperations_research::sat::PresolveContext
SolutionHint(int var) constoperations_research::sat::PresolveContextinline
StartMax(int ct_ref) constoperations_research::sat::PresolveContext
StartMin(int ct_ref) constoperations_research::sat::PresolveContext
StoreAffineRelation(int ref_x, int ref_y, int64_t coeff, int64_t offset, bool debug_no_recursion=false)operations_research::sat::PresolveContext
StoreBooleanEqualityRelation(int ref_a, int ref_b)operations_research::sat::PresolveContext
StoreLiteralImpliesVarEqValue(int literal, int var, int64_t value)operations_research::sat::PresolveContext
StoreLiteralImpliesVarNEqValue(int literal, int var, int64_t value)operations_research::sat::PresolveContext
SubstituteVariableInObjective(int var_in_equality, int64_t coeff_in_equality, const ConstraintProto &equality)operations_research::sat::PresolveContext
time_limit()operations_research::sat::PresolveContextinline
tmp_left_domainsoperations_research::sat::PresolveContext
tmp_literal_setoperations_research::sat::PresolveContext
tmp_literalsoperations_research::sat::PresolveContext
tmp_term_domainsoperations_research::sat::PresolveContext
UpdateConstraintVariableUsage(int c)operations_research::sat::PresolveContext
UpdateNewConstraintsVariableUsage()operations_research::sat::PresolveContext
UpdateRuleStats(const std::string &name, int num_times=1)operations_research::sat::PresolveContext
var_with_reduced_small_degreeoperations_research::sat::PresolveContext
VarHasSolutionHint(int var) constoperations_research::sat::PresolveContextinline
VariableIsNotUsedAnymore(int ref) constoperations_research::sat::PresolveContext
VariableIsOnlyUsedInEncodingAndMaybeInObjective(int var) constoperations_research::sat::PresolveContext
VariableIsOnlyUsedInLinear1AndOneExtraConstraint(int var) constoperations_research::sat::PresolveContext
VariableIsUnique(int ref) constoperations_research::sat::PresolveContext
VariableIsUniqueAndRemovable(int ref) constoperations_research::sat::PresolveContext
VariableWasRemoved(int ref) constoperations_research::sat::PresolveContext
VariableWithCostIsUnique(int ref) constoperations_research::sat::PresolveContext
VariableWithCostIsUniqueAndRemovable(int ref) constoperations_research::sat::PresolveContext
VarToConstraints(int var) constoperations_research::sat::PresolveContextinline
working_modeloperations_research::sat::PresolveContext
WriteObjectiveToProto() constoperations_research::sat::PresolveContext
WriteVariableDomainsToProto() constoperations_research::sat::PresolveContext