PresolveContext Member List

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

AddImplication(int a, int b)	PresolveContext
AddImplyInDomain(int b, int x, const Domain &domain)	PresolveContext
AddLiteralToObjective(int ref, int64_t value)	PresolveContext
AddToObjective(int var, int64_t value)	PresolveContext
AddToObjectiveOffset(int64_t delta)	PresolveContext
AffineRelationDebugString(int ref) const	PresolveContext
CanBeUsedAsLiteral(int ref) const	PresolveContext
CanonicalizeAffineVariable(int ref, int64_t coeff, int64_t mod, int64_t rhs)	PresolveContext
CanonicalizeDomainOfSizeTwo(int var)	PresolveContext
CanonicalizeObjective(bool simplify_domain=true)	PresolveContext
CanonicalizeOneObjectiveVariable(int var)	PresolveContext
CanonicalizeVariable(int ref)	PresolveContext
ClearPrecedenceCache()	PresolveContext
ClearStats()	PresolveContext
ComputeMinMaxActivity(const ProtoWithVarsAndCoeffs &proto) const	PresolveContext	inline
ConstraintIsInactive(int ct_index) const	PresolveContext
ConstraintIsOptional(int ct_ref) const	PresolveContext
ConstraintToVars(int c) const	PresolveContext	inline
ConstraintToVarsGraph() const	PresolveContext	inline
ConstraintVariableGraphIsUpToDate() const	PresolveContext
ConstraintVariableUsageIsConsistent()	PresolveContext
deductions	PresolveContext
DomainContains(int ref, int64_t value) const	PresolveContext
DomainContains(const LinearExpressionProto &expr, int64_t value) const	PresolveContext
DomainIsEmpty(int ref) const	PresolveContext
DomainOf(int ref) const	PresolveContext
DomainOfVarIsIncludedIn(int var, const Domain &domain)	PresolveContext	inline
DomainSuperSetOf(const LinearExpressionProto &expr) const	PresolveContext
EndMax(int ct_ref) const	PresolveContext
EndMin(int ct_ref) const	PresolveContext
ExploitExactlyOneInObjective(absl::Span< const int > exactly_one)	PresolveContext
ExpressionIsAffineBoolean(const LinearExpressionProto &expr) const	PresolveContext
ExpressionIsALiteral(const LinearExpressionProto &expr, int *literal=nullptr) const	PresolveContext
ExpressionIsSingleVariable(const LinearExpressionProto &expr) const	PresolveContext
FixedValue(int ref) const	PresolveContext
FixedValue(const LinearExpressionProto &expr) const	PresolveContext
GetAbsRelation(int target_ref, int *ref)	PresolveContext
GetAffineRelation(int ref) const	PresolveContext
GetFalseLiteral()	PresolveContext
GetIntervalRepresentative(int index)	PresolveContext
GetLiteralRepresentative(int ref) const	PresolveContext
GetOrCreateAffineValueEncoding(const LinearExpressionProto &expr, int64_t value)	PresolveContext
GetOrCreateReifiedPrecedenceLiteral(const LinearExpressionProto &time_i, const LinearExpressionProto &time_j, int active_i, int active_j)	PresolveContext
GetOrCreateVarValueEncoding(int ref, int64_t value)	PresolveContext
GetReifiedPrecedenceKey(const LinearExpressionProto &time_i, const LinearExpressionProto &time_j, int active_i, int active_j)	PresolveContext
GetTrueLiteral()	PresolveContext
GetVariableRepresentative(int ref) const	PresolveContext
HasVarValueEncoding(int ref, int64_t value, int *literal=nullptr)	PresolveContext
InitializeNewDomains()	PresolveContext
InsertVarValueEncoding(int literal, int ref, int64_t value)	PresolveContext
IntersectDomainWith(int ref, const Domain &domain, bool *domain_modified=nullptr)	PresolveContext
IntersectDomainWith(const LinearExpressionProto &expr, const Domain &domain, bool *domain_modified=nullptr)	PresolveContext
IntervalDebugString(int ct_ref) const	PresolveContext
IntervalIsConstant(int ct_ref) const	PresolveContext
IntervalUsage(int c) const	PresolveContext	inline
IsFixed(int ref) const	PresolveContext
IsFixed(const LinearExpressionProto &expr) const	PresolveContext
IsFullyEncoded(int ref) const	PresolveContext
IsFullyEncoded(const LinearExpressionProto &expr) const	PresolveContext
keep_all_feasible_solutions	PresolveContext
LiteralForExpressionMax(const LinearExpressionProto &expr) const	PresolveContext
LiteralIsFalse(int lit) const	PresolveContext
LiteralIsTrue(int lit) const	PresolveContext
logger() const	PresolveContext	inline
LogInfo()	PresolveContext
mapping_model	PresolveContext
MarkVariableAsRemoved(int ref)	PresolveContext
MaxOf(int ref) const	PresolveContext
MaxOf(const LinearExpressionProto &expr) const	PresolveContext
MinOf(int ref) const	PresolveContext
MinOf(const LinearExpressionProto &expr) const	PresolveContext
ModelIsExpanded() const	PresolveContext	inline
ModelIsUnsat() const	PresolveContext	inline
modified_domains	PresolveContext
NewBoolVar()	PresolveContext
NewIntVar(const Domain &domain)	PresolveContext
NotifyThatModelIsExpanded()	PresolveContext	inline
NotifyThatModelIsUnsat(const std::string &message="")	PresolveContext	inline
num_presolve_operations	PresolveContext
NumAffineRelations() const	PresolveContext	inline
ObjectiveCoeff(int var) const	PresolveContext	inline
ObjectiveDomain() const	PresolveContext	inline
ObjectiveDomainIsConstraining() const	PresolveContext	inline
ObjectiveMap() const	PresolveContext	inline
params() const	PresolveContext	inline
PresolveContext(Model *model, CpModelProto *cp_model, CpModelProto *mapping)	PresolveContext	inline
PropagateAffineRelation(int ref)	PresolveContext
PropagateAffineRelation(int ref, int rep, int64_t coeff, int64_t offset)	PresolveContext
random()	PresolveContext	inline
ReadObjectiveFromProto()	PresolveContext
RecomputeSingletonObjectiveDomain()	PresolveContext
RefDebugString(int ref) const	PresolveContext
RegisterVariablesUsedInAssumptions()	PresolveContext	inline
RemoveAllVariablesFromAffineRelationConstraint()	PresolveContext
RemoveVariableFromAffineRelation(int var)	PresolveContext
RemoveVariableFromObjective(int ref)	PresolveContext
ScaleFloatingPointObjective()	PresolveContext
SetLiteralToFalse(int lit)	PresolveContext
SetLiteralToTrue(int lit)	PresolveContext
ShiftCostInExactlyOne(absl::Span< const int > exactly_one, int64_t shift)	PresolveContext
SizeMax(int ct_ref) const	PresolveContext
SizeMin(int ct_ref) const	PresolveContext
StartMax(int ct_ref) const	PresolveContext
StartMin(int ct_ref) const	PresolveContext
StoreAbsRelation(int target_ref, int ref)	PresolveContext
StoreAffineRelation(int ref_x, int ref_y, int64_t coeff, int64_t offset, bool debug_no_recursion=false)	PresolveContext
StoreBooleanEqualityRelation(int ref_a, int ref_b)	PresolveContext
StoreLiteralImpliesVarEqValue(int literal, int var, int64_t value)	PresolveContext
StoreLiteralImpliesVarNEqValue(int literal, int var, int64_t value)	PresolveContext
SubstituteVariableInObjective(int var_in_equality, int64_t coeff_in_equality, const ConstraintProto &equality)	PresolveContext
time_limit()	PresolveContext	inline
tmp_left_domains	PresolveContext
tmp_literal_set	PresolveContext
tmp_literals	PresolveContext
tmp_term_domains	PresolveContext
UpdateConstraintVariableUsage(int c)	PresolveContext
UpdateNewConstraintsVariableUsage()	PresolveContext
UpdateRuleStats(const std::string &name, int num_times=1)	PresolveContext
var_with_reduced_small_degree	PresolveContext
VariableIsNotUsedAnymore(int ref) const	PresolveContext
VariableIsOnlyUsedInEncodingAndMaybeInObjective(int ref) const	PresolveContext
VariableIsUniqueAndRemovable(int ref) const	PresolveContext
VariableWasRemoved(int ref) const	PresolveContext
VariableWithCostIsUnique(int ref) const	PresolveContext
VariableWithCostIsUniqueAndRemovable(int ref) const	PresolveContext
VarToConstraints(int var) const	PresolveContext	inline
working_model	PresolveContext
WriteObjectiveToProto() const	PresolveContext
WriteVariableDomainsToProto() const	PresolveContext