AddImplication(int a, int b) | PresolveContext | |
AddImplyInDomain(int b, int x, const Domain &domain) | PresolveContext | |
AffineRelationDebugString(int ref) const | PresolveContext | |
CanBeUsedAsLiteral(int ref) const | PresolveContext | |
CanonicalizeDomainOfSizeTwo(int var) | PresolveContext | |
CanonicalizeObjective() | PresolveContext | |
ClearPrecedenceCache() | PresolveContext | |
ClearStats() | PresolveContext | |
ConstraintToVars(int c) const | PresolveContext | inline |
ConstraintVariableGraphIsUpToDate() const | PresolveContext | |
ConstraintVariableUsageIsConsistent() | PresolveContext | |
deductions | PresolveContext | |
DomainContains(int ref, int64 value) const | PresolveContext | |
DomainIsEmpty(int ref) const | PresolveContext | |
DomainOf(int ref) const | PresolveContext | |
DomainOfVarIsIncludedIn(int var, const Domain &domain) | PresolveContext | inline |
enable_stats | PresolveContext | |
ExploitFixedDomain(int var) | PresolveContext | |
GetAbsRelation(int target_ref, int *ref) | PresolveContext | |
GetAffineRelation(int ref) const | PresolveContext | |
GetLiteralRepresentative(int ref) const | PresolveContext | |
GetOrCreateConstantVar(int64 cst) | PresolveContext | |
GetOrCreateReifiedPrecedenceLiteral(int time_i, int time_j, int active_i, int active_j) | PresolveContext | |
GetOrCreateVarValueEncoding(int ref, int64 value) | PresolveContext | |
GetVariableRepresentative(int ref) const | PresolveContext | |
HasVarValueEncoding(int ref, int64 value, int *literal=nullptr) | PresolveContext | |
InitializeNewDomains() | PresolveContext | |
InsertVarValueEncoding(int literal, int ref, int64 value) | PresolveContext | |
IntersectDomainWith(int ref, const Domain &domain, bool *domain_modified=nullptr) | PresolveContext | |
IntervalUsage(int c) const | PresolveContext | inline |
IsFixed(int ref) const | PresolveContext | |
keep_all_feasible_solutions | PresolveContext | |
LiteralIsFalse(int lit) const | PresolveContext | |
LiteralIsTrue(int lit) const | PresolveContext | |
log_info() const | PresolveContext | inline |
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 | |
ModelIsUnsat() const | PresolveContext | inline |
modified_domains | PresolveContext | |
NewBoolVar() | PresolveContext | |
NewIntVar(const Domain &domain) | PresolveContext | |
NotifyThatModelIsUnsat(const std::string &message="") | PresolveContext | inline |
num_presolve_operations | PresolveContext | |
NumAffineRelations() const | PresolveContext | inline |
NumEquivRelations() const | PresolveContext | inline |
ObjectiveDomain() const | PresolveContext | inline |
ObjectiveDomainIsConstraining() const | PresolveContext | inline |
ObjectiveMap() const | PresolveContext | inline |
params() const | PresolveContext | inline |
PresolveContext(bool log_info, Model *model, CpModelProto *cp_model, CpModelProto *mapping) | PresolveContext | inlineexplicit |
PropagateAffineRelation(int ref) | PresolveContext | |
random() | PresolveContext | inline |
ReadObjectiveFromProto() | PresolveContext | |
RefDebugString(int ref) const | PresolveContext | |
RegisterVariablesUsedInAssumptions() | PresolveContext | inline |
RemoveAllVariablesFromAffineRelationConstraint() | PresolveContext | |
RemoveVariableFromAffineRelation(int var) | PresolveContext | |
SetLiteralToFalse(int lit) | PresolveContext | |
SetLiteralToTrue(int lit) | PresolveContext | |
stats_by_rule_name | PresolveContext | |
StoreAbsRelation(int target_ref, int ref) | PresolveContext | |
StoreAffineRelation(int ref_x, int ref_y, int64 coeff, int64 offset) | PresolveContext | |
StoreBooleanEqualityRelation(int ref_a, int ref_b) | PresolveContext | |
StoreLiteralImpliesVarEqValue(int literal, int var, int64 value) | PresolveContext | |
StoreLiteralImpliesVarNEqValue(int literal, int var, int64 value) | PresolveContext | |
SubstituteVariableInObjective(int var_in_equality, int64 coeff_in_equality, const ConstraintProto &equality, std::vector< int > *new_vars_in_objective=nullptr) | 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_to_lb_only_constraints | PresolveContext | |
var_to_ub_only_constraints | PresolveContext | |
VariableIsNotUsedAnymore(int ref) const | PresolveContext | |
VariableIsOnlyUsedInEncoding(int ref) const | PresolveContext | |
VariableIsUniqueAndRemovable(int ref) const | PresolveContext | |
VariableWasRemoved(int ref) const | PresolveContext | |
VariableWithCostIsUniqueAndRemovable(int ref) const | PresolveContext | |
VarToConstraints(int var) const | PresolveContext | inline |
working_model | PresolveContext | |
WriteObjectiveToProto() const | PresolveContext | |