| 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 | |
1.9.4