OR-Tools  8.2
IntegerTrail Member List

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()IntegerTrailinline
AppendNewBounds(std::vector< IntegerLiteral > *output) constIntegerTrail
AppendRelaxedLinearReason(IntegerValue slack, absl::Span< const IntegerValue > coeffs, absl::Span< const IntegerVariable > vars, std::vector< IntegerLiteral > *reason) constIntegerTrail
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) constIntegerTrail
FirstUnassignedVariable() constIntegerTrail
GetOrCreateConstantIntegerVariable(IntegerValue value)IntegerTrail
HasPendingRootLevelDeduction() constIntegerTrailinline
Index() constIntegerTrailinline
InitialVariableDomain(IntegerVariable var) constIntegerTrail
InPropagationLoop() constIntegerTrail
IntegerLiteralIsFalse(IntegerLiteral l) constIntegerTrailinline
IntegerLiteralIsTrue(IntegerLiteral l) constIntegerTrailinline
IntegerTrail(Model *model)IntegerTrailinlineexplicit
IsCurrentlyIgnored(IntegerVariable i) constIntegerTrailinline
IsFixed(IntegerVariable i) constIntegerTrailinline
IsFixed(AffineExpression expr) constIntegerTrailinline
IsFixedAtLevelZero(IntegerVariable var) constIntegerTrailinline
IsIgnoredLiteral(IntegerVariable i) constIntegerTrailinline
IsOptional(IntegerVariable i) constIntegerTrailinline
LazyReasonFunction typedefIntegerTrail
LevelZeroLowerBound(IntegerVariable var) constIntegerTrailinline
LevelZeroUpperBound(IntegerVariable var) constIntegerTrailinline
LowerBound(IntegerVariable i) constIntegerTrailinline
LowerBound(AffineExpression expr) constIntegerTrailinline
LowerBoundAsLiteral(IntegerVariable i) constIntegerTrailinline
MarkIntegerVariableAsOptional(IntegerVariable i, Literal is_considered)IntegerTrailinline
MergeReasonInto(absl::Span< const IntegerLiteral > literals, std::vector< Literal > *output) constIntegerTrail
name_SatPropagatorprotected
NextVariableToBranchOnInPropagationLoop() constIntegerTrail
num_enqueues() constIntegerTrailinline
num_level_zero_enqueues() constIntegerTrailinline
NumConstantVariables() constIntegerTrail
NumIntegerVariables() constIntegerTrailinline
OptionalLiteralIndex(IntegerVariable i) constIntegerTrailinline
Propagate(Trail *trail) finalIntegerTrailvirtual
PropagatePreconditionsAreSatisfied(const Trail &trail) constSatPropagatorinline
propagation_trail_index_SatPropagatorprotected
PropagationIsDone(const Trail &trail) constSatPropagatorinline
propagator_id_SatPropagatorprotected
PropagatorId() constSatPropagatorinline
Reason(const Trail &trail, int trail_index) const finalIntegerTrailvirtual
ReasonFor(IntegerLiteral literal) constIntegerTrail
RegisterReversibleClass(ReversibleInterface *rev)IntegerTrailinline
RegisterWatcher(SparseBitset< IntegerVariable > *p)IntegerTrailinline
RelaxLinearReason(IntegerValue slack, absl::Span< const IntegerValue > coeffs, std::vector< IntegerLiteral > *reason) constIntegerTrail
RelaxLinearReason(IntegerValue slack, absl::Span< const IntegerValue > coeffs, std::vector< int > *trail_indices) constIntegerTrail
RemoveLevelZeroBounds(std::vector< IntegerLiteral > *reason) constIntegerTrail
ReportConflict(absl::Span< const Literal > literal_reason, absl::Span< const IntegerLiteral > integer_reason)IntegerTrailinline
ReportConflict(absl::Span< const IntegerLiteral > integer_reason)IntegerTrailinline
ReserveSpaceForNumVariables(int num_vars)IntegerTrail
SatPropagator(const std::string &name)SatPropagatorinlineexplicit
SetPropagatorId(int id)SatPropagatorinline
timestamp() constIntegerTrailinline
Untrail(const Trail &trail, int literal_trail_index) finalIntegerTrailvirtual
UpdateInitialDomain(IntegerVariable var, Domain domain)IntegerTrail
UpperBound(IntegerVariable i) constIntegerTrailinline
UpperBound(AffineExpression expr) constIntegerTrailinline
UpperBoundAsLiteral(IntegerVariable i) constIntegerTrailinline
VariableLowerBoundIsFromLevelZero(IntegerVariable var) constIntegerTrailinline
~IntegerTrail() finalIntegerTrail
~SatPropagator()SatPropagatorinlinevirtual