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
AddImplyInDomain(int b, const LinearExpressionProto &expr, 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) const	operations_research::sat::PresolveContext
AllDomains() const	operations_research::sat::PresolveContext	inline
CanBeUsedAsLiteral(int ref) const	operations_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::PresolveContext	inline
ClearPrecedenceCache()	operations_research::sat::PresolveContext
ClearStats()	operations_research::sat::PresolveContext
ComputeMinMaxActivity(const ProtoWithVarsAndCoeffs &proto) const	operations_research::sat::PresolveContext	inline
ConstraintIsInactive(int ct_index) const	operations_research::sat::PresolveContext
ConstraintIsOptional(int ct_ref) const	operations_research::sat::PresolveContext
ConstraintToVars(int c) const	operations_research::sat::PresolveContext	inline
ConstraintVariableGraphIsUpToDate() const	operations_research::sat::PresolveContext
ConstraintVariableUsageIsConsistent()	operations_research::sat::PresolveContext
DebugTestHintFeasibility()	operations_research::sat::PresolveContext
deductions	operations_research::sat::PresolveContext
DomainContains(int ref, int64_t value) const	operations_research::sat::PresolveContext
DomainContains(const LinearExpressionProto &expr, int64_t value) const	operations_research::sat::PresolveContext
DomainIsEmpty(int ref) const	operations_research::sat::PresolveContext
DomainOf(int ref) const	operations_research::sat::PresolveContext
DomainOfVarIsIncludedIn(int var, const Domain &domain)	operations_research::sat::PresolveContext	inline
DomainSuperSetOf(const LinearExpressionProto &expr) const	operations_research::sat::PresolveContext
EndMax(int ct_ref) const	operations_research::sat::PresolveContext
EndMin(int ct_ref) const	operations_research::sat::PresolveContext
ExploitExactlyOneInObjective(absl::Span< const int > exactly_one)	operations_research::sat::PresolveContext
ExpressionIsAffineBoolean(const LinearExpressionProto &expr) const	operations_research::sat::PresolveContext
ExpressionIsALiteral(const LinearExpressionProto &expr, int *literal=nullptr) const	operations_research::sat::PresolveContext
ExpressionIsSingleVariable(const LinearExpressionProto &expr) const	operations_research::sat::PresolveContext
FixedValue(int ref) const	operations_research::sat::PresolveContext
FixedValue(const LinearExpressionProto &expr) const	operations_research::sat::PresolveContext
FixedValueOrNullopt(const LinearExpressionProto &expr) const	operations_research::sat::PresolveContext
GetAffineRelation(int ref) const	operations_research::sat::PresolveContext
GetFalseLiteral()	operations_research::sat::PresolveContext
GetLiteralRepresentative(int ref) const	operations_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
HasUnusedAffineVariable() const	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) const	operations_research::sat::PresolveContext
IntervalIsConstant(int ct_ref) const	operations_research::sat::PresolveContext
IntervalUsage(int c) const	operations_research::sat::PresolveContext	inline
IsFixed(int ref) const	operations_research::sat::PresolveContext
IsFixed(const LinearExpressionProto &expr) const	operations_research::sat::PresolveContext
IsFullyEncoded(int ref) const	operations_research::sat::PresolveContext
IsFullyEncoded(const LinearExpressionProto &expr) const	operations_research::sat::PresolveContext
LiteralForExpressionMax(const LinearExpressionProto &expr) const	operations_research::sat::PresolveContext
LiteralIsFalse(int lit) const	operations_research::sat::PresolveContext
LiteralIsTrue(int lit) const	operations_research::sat::PresolveContext
LoadSolutionHint()	operations_research::sat::PresolveContext
logger() const	operations_research::sat::PresolveContext	inline
LogInfo()	operations_research::sat::PresolveContext
mapping_model	operations_research::sat::PresolveContext
MarkVariableAsRemoved(int ref)	operations_research::sat::PresolveContext
MaxOf(int ref) const	operations_research::sat::PresolveContext
MaxOf(const LinearExpressionProto &expr) const	operations_research::sat::PresolveContext
MinOf(int ref) const	operations_research::sat::PresolveContext
MinOf(const LinearExpressionProto &expr) const	operations_research::sat::PresolveContext
ModelIsExpanded() const	operations_research::sat::PresolveContext	inline
ModelIsUnsat() const	operations_research::sat::PresolveContext	inline
modified_domains	operations_research::sat::PresolveContext
NewBoolVar(absl::string_view source)	operations_research::sat::PresolveContext
NewBoolVarWithClause(absl::Span< const int > clause)	operations_research::sat::PresolveContext
NewBoolVarWithConjunction(absl::Span< const int > conjunction)	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, bool append_constraint_to_mapping_model=false)	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::PresolveContext	inline
NotifyThatModelIsUnsat(absl::string_view message="")	operations_research::sat::PresolveContext	inline
num_presolve_operations	operations_research::sat::PresolveContext
NumAffineRelations() const	operations_research::sat::PresolveContext	inline
ObjectiveCoeff(int var) const	operations_research::sat::PresolveContext	inline
ObjectiveDomain() const	operations_research::sat::PresolveContext	inline
ObjectiveDomainIsConstraining() const	operations_research::sat::PresolveContext	inline
ObjectiveMap() const	operations_research::sat::PresolveContext	inline
params() const	operations_research::sat::PresolveContext	inline
PresolveContext(Model *model, CpModelProto *cp_model, CpModelProto *mapping)	operations_research::sat::PresolveContext	inline
PropagateAffineRelation(int var)	operations_research::sat::PresolveContext
PropagateAffineRelation(int var, int rep, int64_t coeff, int64_t offset)	operations_research::sat::PresolveContext
random()	operations_research::sat::PresolveContext	inline
ReadObjectiveFromProto()	operations_research::sat::PresolveContext
RecomputeSingletonObjectiveDomain()	operations_research::sat::PresolveContext
RefDebugString(int ref) const	operations_research::sat::PresolveContext
RegisterVariablesUsedInAssumptions()	operations_research::sat::PresolveContext	inline
RemoveAllVariablesFromAffineRelationConstraint()	operations_research::sat::PresolveContext
RemoveNonRepresentativeAffineVariableIfUnused(int var)	operations_research::sat::PresolveContext
RemoveVariableFromAffineRelation(int var)	operations_research::sat::PresolveContext
RemoveVariableFromObjective(int ref)	operations_research::sat::PresolveContext
ResetAfterCopy()	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) const	operations_research::sat::PresolveContext
SizeMin(int ct_ref) const	operations_research::sat::PresolveContext
solution_crush()	operations_research::sat::PresolveContext	inline
StartMax(int ct_ref) const	operations_research::sat::PresolveContext
StartMin(int ct_ref) const	operations_research::sat::PresolveContext
StoreAffineRelation(int var_x, int var_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::PresolveContext	inline
tmp_left_domains	operations_research::sat::PresolveContext
tmp_literal_set	operations_research::sat::PresolveContext
tmp_literals	operations_research::sat::PresolveContext
tmp_term_domains	operations_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_degree	operations_research::sat::PresolveContext
VariableIsNotUsedAnymore(int ref) const	operations_research::sat::PresolveContext
VariableIsOnlyUsedInEncodingAndMaybeInObjective(int var) const	operations_research::sat::PresolveContext
VariableIsOnlyUsedInLinear1AndOneExtraConstraint(int var) const	operations_research::sat::PresolveContext
VariableIsUnique(int ref) const	operations_research::sat::PresolveContext
VariableIsUniqueAndRemovable(int ref) const	operations_research::sat::PresolveContext
VariableWasRemoved(int ref) const	operations_research::sat::PresolveContext
VariableWithCostIsUnique(int ref) const	operations_research::sat::PresolveContext
VariableWithCostIsUniqueAndRemovable(int ref) const	operations_research::sat::PresolveContext
VarToConstraints(int var) const	operations_research::sat::PresolveContext	inline
working_model	operations_research::sat::PresolveContext
WriteObjectiveToProto() const	operations_research::sat::PresolveContext
WriteVariableDomainsToProto() const	operations_research::sat::PresolveContext