![]() |
OR-Tools
8.2
|
This is the complete list of members for IntegerTrail, including all inherited members.
AddIntegerVariable(IntegerValue lower_bound, IntegerValue upper_bound) | IntegerTrail | |
AddIntegerVariable(const Domain &domain) | IntegerTrail | |
AddIntegerVariable() | IntegerTrail | inline |
AppendNewBounds(std::vector< IntegerLiteral > *output) const | IntegerTrail | |
AppendRelaxedLinearReason(IntegerValue slack, absl::Span< const IntegerValue > coeffs, absl::Span< const IntegerVariable > vars, std::vector< IntegerLiteral > *reason) const | IntegerTrail | |
ConditionalEnqueue(Literal lit, IntegerLiteral i_lit, std::vector< Literal > *literal_reason, std::vector< IntegerLiteral > *integer_reason) | IntegerTrail | |
CurrentBranchHadAnIncompletePropagation() | IntegerTrail | |
Enqueue(IntegerLiteral i_lit, absl::Span< const Literal > literal_reason, absl::Span< const IntegerLiteral > integer_reason) | IntegerTrail | |
Enqueue(IntegerLiteral i_lit, absl::Span< const Literal > literal_reason, absl::Span< const IntegerLiteral > integer_reason, int trail_index_with_same_reason) | IntegerTrail | |
Enqueue(IntegerLiteral i_lit, LazyReasonFunction lazy_reason) | IntegerTrail | |
EnqueueLiteral(Literal literal, absl::Span< const Literal > literal_reason, absl::Span< const IntegerLiteral > integer_reason) | IntegerTrail | |
FindTrailIndexOfVarBefore(IntegerVariable var, int threshold) const | IntegerTrail | |
FirstUnassignedVariable() const | IntegerTrail | |
GetOrCreateConstantIntegerVariable(IntegerValue value) | IntegerTrail | |
HasPendingRootLevelDeduction() const | IntegerTrail | inline |
Index() const | IntegerTrail | inline |
InitialVariableDomain(IntegerVariable var) const | IntegerTrail | |
InPropagationLoop() const | IntegerTrail | |
IntegerLiteralIsFalse(IntegerLiteral l) const | IntegerTrail | inline |
IntegerLiteralIsTrue(IntegerLiteral l) const | IntegerTrail | inline |
IntegerTrail(Model *model) | IntegerTrail | inlineexplicit |
IsCurrentlyIgnored(IntegerVariable i) const | IntegerTrail | inline |
IsFixed(IntegerVariable i) const | IntegerTrail | inline |
IsFixed(AffineExpression expr) const | IntegerTrail | inline |
IsFixedAtLevelZero(IntegerVariable var) const | IntegerTrail | inline |
IsIgnoredLiteral(IntegerVariable i) const | IntegerTrail | inline |
IsOptional(IntegerVariable i) const | IntegerTrail | inline |
LazyReasonFunction typedef | IntegerTrail | |
LevelZeroLowerBound(IntegerVariable var) const | IntegerTrail | inline |
LevelZeroUpperBound(IntegerVariable var) const | IntegerTrail | inline |
LowerBound(IntegerVariable i) const | IntegerTrail | inline |
LowerBound(AffineExpression expr) const | IntegerTrail | inline |
LowerBoundAsLiteral(IntegerVariable i) const | IntegerTrail | inline |
MarkIntegerVariableAsOptional(IntegerVariable i, Literal is_considered) | IntegerTrail | inline |
MergeReasonInto(absl::Span< const IntegerLiteral > literals, std::vector< Literal > *output) const | IntegerTrail | |
name_ | SatPropagator | protected |
NextVariableToBranchOnInPropagationLoop() const | IntegerTrail | |
num_enqueues() const | IntegerTrail | inline |
num_level_zero_enqueues() const | IntegerTrail | inline |
NumConstantVariables() const | IntegerTrail | |
NumIntegerVariables() const | IntegerTrail | inline |
OptionalLiteralIndex(IntegerVariable i) const | IntegerTrail | inline |
Propagate(Trail *trail) final | IntegerTrail | virtual |
PropagatePreconditionsAreSatisfied(const Trail &trail) const | SatPropagator | inline |
propagation_trail_index_ | SatPropagator | protected |
PropagationIsDone(const Trail &trail) const | SatPropagator | inline |
propagator_id_ | SatPropagator | protected |
PropagatorId() const | SatPropagator | inline |
Reason(const Trail &trail, int trail_index) const final | IntegerTrail | virtual |
ReasonFor(IntegerLiteral literal) const | IntegerTrail | |
RegisterReversibleClass(ReversibleInterface *rev) | IntegerTrail | inline |
RegisterWatcher(SparseBitset< IntegerVariable > *p) | IntegerTrail | inline |
RelaxLinearReason(IntegerValue slack, absl::Span< const IntegerValue > coeffs, std::vector< IntegerLiteral > *reason) const | IntegerTrail | |
RelaxLinearReason(IntegerValue slack, absl::Span< const IntegerValue > coeffs, std::vector< int > *trail_indices) const | IntegerTrail | |
RemoveLevelZeroBounds(std::vector< IntegerLiteral > *reason) const | IntegerTrail | |
ReportConflict(absl::Span< const Literal > literal_reason, absl::Span< const IntegerLiteral > integer_reason) | IntegerTrail | inline |
ReportConflict(absl::Span< const IntegerLiteral > integer_reason) | IntegerTrail | inline |
ReserveSpaceForNumVariables(int num_vars) | IntegerTrail | |
SatPropagator(const std::string &name) | SatPropagator | inlineexplicit |
SetPropagatorId(int id) | SatPropagator | inline |
timestamp() const | IntegerTrail | inline |
Untrail(const Trail &trail, int literal_trail_index) final | IntegerTrail | virtual |
UpdateInitialDomain(IntegerVariable var, Domain domain) | IntegerTrail | |
UpperBound(IntegerVariable i) const | IntegerTrail | inline |
UpperBound(AffineExpression expr) const | IntegerTrail | inline |
UpperBoundAsLiteral(IntegerVariable i) const | IntegerTrail | inline |
VariableLowerBoundIsFromLevelZero(IntegerVariable var) const | IntegerTrail | inline |
~IntegerTrail() final | IntegerTrail | |
~SatPropagator() | SatPropagator | inlinevirtual |