OR-Tools  8.2
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
AffineRelationDebugString(int ref) constPresolveContext
CanBeUsedAsLiteral(int ref) constPresolveContext
CanonicalizeDomainOfSizeTwo(int var)PresolveContext
CanonicalizeObjective()PresolveContext
ClearPrecedenceCache()PresolveContext
ClearStats()PresolveContext
ConstraintToVars(int c) constPresolveContextinline
ConstraintVariableGraphIsUpToDate() constPresolveContext
ConstraintVariableUsageIsConsistent()PresolveContext
deductionsPresolveContext
DomainContains(int ref, int64 value) constPresolveContext
DomainIsEmpty(int ref) constPresolveContext
DomainOf(int ref) constPresolveContext
DomainOfVarIsIncludedIn(int var, const Domain &domain)PresolveContextinline
enable_statsPresolveContext
ExploitFixedDomain(int var)PresolveContext
GetAbsRelation(int target_ref, int *ref)PresolveContext
GetAffineRelation(int ref) constPresolveContext
GetLiteralRepresentative(int ref) constPresolveContext
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) constPresolveContext
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) constPresolveContextinline
IsFixed(int ref) constPresolveContext
keep_all_feasible_solutionsPresolveContext
LiteralIsFalse(int lit) constPresolveContext
LiteralIsTrue(int lit) constPresolveContext
log_info() constPresolveContextinline
mapping_modelPresolveContext
MarkVariableAsRemoved(int ref)PresolveContext
MaxOf(int ref) constPresolveContext
MaxOf(const LinearExpressionProto &expr) constPresolveContext
MinOf(int ref) constPresolveContext
MinOf(const LinearExpressionProto &expr) constPresolveContext
ModelIsUnsat() constPresolveContextinline
modified_domainsPresolveContext
NewBoolVar()PresolveContext
NewIntVar(const Domain &domain)PresolveContext
NotifyThatModelIsUnsat(const std::string &message="")PresolveContextinline
num_presolve_operationsPresolveContext
NumAffineRelations() constPresolveContextinline
NumEquivRelations() constPresolveContextinline
ObjectiveDomain() constPresolveContextinline
ObjectiveDomainIsConstraining() constPresolveContextinline
ObjectiveMap() constPresolveContextinline
params() constPresolveContextinline
PresolveContext(bool log_info, Model *model, CpModelProto *cp_model, CpModelProto *mapping)PresolveContextinlineexplicit
PropagateAffineRelation(int ref)PresolveContext
random()PresolveContextinline
ReadObjectiveFromProto()PresolveContext
RefDebugString(int ref) constPresolveContext
RegisterVariablesUsedInAssumptions()PresolveContextinline
RemoveAllVariablesFromAffineRelationConstraint()PresolveContext
RemoveVariableFromAffineRelation(int var)PresolveContext
SetLiteralToFalse(int lit)PresolveContext
SetLiteralToTrue(int lit)PresolveContext
stats_by_rule_namePresolveContext
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()PresolveContextinline
tmp_left_domainsPresolveContext
tmp_literal_setPresolveContext
tmp_literalsPresolveContext
tmp_term_domainsPresolveContext
UpdateConstraintVariableUsage(int c)PresolveContext
UpdateNewConstraintsVariableUsage()PresolveContext
UpdateRuleStats(const std::string &name, int num_times=1)PresolveContext
var_to_lb_only_constraintsPresolveContext
var_to_ub_only_constraintsPresolveContext
VariableIsNotUsedAnymore(int ref) constPresolveContext
VariableIsOnlyUsedInEncoding(int ref) constPresolveContext
VariableIsUniqueAndRemovable(int ref) constPresolveContext
VariableWasRemoved(int ref) constPresolveContext
VariableWithCostIsUniqueAndRemovable(int ref) constPresolveContext
VarToConstraints(int var) constPresolveContextinline
working_modelPresolveContext
WriteObjectiveToProto() constPresolveContext