Google OR-Tools v9.14
a fast and portable software suite for combinatorial optimization
Loading...
Searching...
No Matches
operations_research::sat::IntegerTrail Member List

This is the complete list of members for operations_research::sat::IntegerTrail, including all inherited members.

AddAllGreaterThanConstantReason(absl::Span< AffineExpression > exprs, IntegerValue target_min, std::vector< int > *indices) constoperations_research::sat::IntegerTrailinline
AddIntegerVariable(IntegerValue lower_bound, IntegerValue upper_bound)operations_research::sat::IntegerTrail
AddIntegerVariable(const Domain &domain)operations_research::sat::IntegerTrail
AddIntegerVariable()operations_research::sat::IntegerTrailinline
AppendNewBounds(std::vector< IntegerLiteral > *output) constoperations_research::sat::IntegerTrail
AppendNewBoundsFrom(int base_index, std::vector< IntegerLiteral > *output) constoperations_research::sat::IntegerTrail
AppendRelaxedLinearReason(IntegerValue slack, absl::Span< const IntegerValue > coeffs, absl::Span< const IntegerVariable > vars, std::vector< IntegerLiteral > *reason) constoperations_research::sat::IntegerTrail
ConditionalEnqueue(Literal lit, IntegerLiteral i_lit, std::vector< Literal > *literal_reason, std::vector< IntegerLiteral > *integer_reason)operations_research::sat::IntegerTrail
ConditionalLowerBound(Literal l, IntegerVariable i) constoperations_research::sat::IntegerTrailinline
ConditionalLowerBound(Literal l, AffineExpression expr) constoperations_research::sat::IntegerTrailinline
ConditionalUpperBound(Literal l, IntegerVariable i) constoperations_research::sat::IntegerTrailinline
ConditionalUpperBound(Literal l, AffineExpression expr) constoperations_research::sat::IntegerTrailinline
CurrentBranchHadAnIncompletePropagation()operations_research::sat::IntegerTrail
Enqueue(IntegerLiteral i_lit)operations_research::sat::IntegerTrailinline
Enqueue(IntegerLiteral i_lit, absl::Span< const Literal > literal_reason, absl::Span< const IntegerLiteral > integer_reason)operations_research::sat::IntegerTrailinline
Enqueue(IntegerLiteral i_lit, absl::Span< const Literal > literal_reason, absl::Span< const IntegerLiteral > integer_reason, int trail_index_with_same_reason)operations_research::sat::IntegerTrailinline
EnqueueLiteral(Literal literal, absl::Span< const Literal > literal_reason, absl::Span< const IntegerLiteral > integer_reason)operations_research::sat::IntegerTrail
EnqueueWithLazyReason(IntegerLiteral i_lit, int id, IntegerValue propagation_slack, LazyReasonInterface *explainer)operations_research::sat::IntegerTrailinline
FindTrailIndexOfVarBefore(IntegerVariable var, int threshold) constoperations_research::sat::IntegerTrail
FirstUnassignedVariable() constoperations_research::sat::IntegerTrail
FixedValue(IntegerVariable i) constoperations_research::sat::IntegerTrailinline
FixedValue(AffineExpression expr) constoperations_research::sat::IntegerTrailinline
GetOrCreateConstantIntegerVariable(IntegerValue value)operations_research::sat::IntegerTrail
HasPendingRootLevelDeduction() constoperations_research::sat::IntegerTrailinline
Index() constoperations_research::sat::IntegerTrailinline
InitialVariableDomain(IntegerVariable var) constoperations_research::sat::IntegerTrail
InPropagationLoop() constoperations_research::sat::IntegerTrail
IntegerLiteralIsFalse(IntegerLiteral l) constoperations_research::sat::IntegerTrailinline
IntegerLiteralIsTrue(IntegerLiteral l) constoperations_research::sat::IntegerTrailinline
IntegerTrail(Model *model)operations_research::sat::IntegerTrailinlineexplicit
IntegerTrail(const IntegerTrail &)=deleteoperations_research::sat::IntegerTrail
IsEmpty() constoperations_research::sat::SatPropagatorinlinevirtual
IsFixed(IntegerVariable i) constoperations_research::sat::IntegerTrailinline
IsFixed(AffineExpression expr) constoperations_research::sat::IntegerTrailinline
IsFixedAtLevelZero(IntegerVariable var) constoperations_research::sat::IntegerTrailinline
IsFixedAtLevelZero(AffineExpression expr) constoperations_research::sat::IntegerTrailinline
LevelZeroLowerBound(IntegerVariable var) constoperations_research::sat::IntegerTrailinline
LevelZeroLowerBound(AffineExpression exp) constoperations_research::sat::IntegerTrailinline
LevelZeroLowerBound(LinearExpression2 expr) constoperations_research::sat::IntegerTrailinline
LevelZeroUpperBound(IntegerVariable var) constoperations_research::sat::IntegerTrailinline
LevelZeroUpperBound(AffineExpression exp) constoperations_research::sat::IntegerTrailinline
LevelZeroUpperBound(LinearExpression2 expr) constoperations_research::sat::IntegerTrailinline
LowerBound(IntegerVariable i) constoperations_research::sat::IntegerTrailinline
LowerBound(AffineExpression expr) constoperations_research::sat::IntegerTrailinline
LowerBoundAsLiteral(IntegerVariable i) constoperations_research::sat::IntegerTrailinline
LowerBoundAsLiteral(AffineExpression expr) constoperations_research::sat::IntegerTrailinline
LowerBoundsData() constoperations_research::sat::IntegerTrailinline
MergeReasonInto(absl::Span< const IntegerLiteral > literals, std::vector< Literal > *output) constoperations_research::sat::IntegerTrail
name_operations_research::sat::SatPropagatorprotected
NextVariableToBranchOnInPropagationLoop() constoperations_research::sat::IntegerTrail
NotifyThatPropagationWasAborted()operations_research::sat::IntegerTrail
num_enqueues() constoperations_research::sat::IntegerTrailinline
num_level_zero_enqueues() constoperations_research::sat::IntegerTrailinline
NumConstantVariables() constoperations_research::sat::IntegerTrail
NumIntegerVariables() constoperations_research::sat::IntegerTrailinline
operator=(const IntegerTrail &)=deleteoperations_research::sat::IntegerTrail
operations_research::sat::SatPropagator::operator=(const SatPropagator &)=deleteoperations_research::sat::SatPropagator
Propagate(Trail *trail) finaloperations_research::sat::IntegerTrailvirtual
PropagatePreconditionsAreSatisfied(const Trail &trail) constoperations_research::sat::SatPropagatorinline
propagation_trail_index_operations_research::sat::SatPropagatorprotected
PropagationIsDone(const Trail &trail) constoperations_research::sat::SatPropagatorinline
propagator_id_operations_research::sat::SatPropagatorprotected
PropagatorId() constoperations_research::sat::SatPropagatorinline
Reason(const Trail &trail, int trail_index, int64_t conflict_id) const finaloperations_research::sat::IntegerTrailvirtual
ReasonFor(IntegerLiteral literal) constoperations_research::sat::IntegerTrail
RegisterDebugChecker(std::function< bool(absl::Span< const Literal > clause, absl::Span< const IntegerLiteral > integers)> checker)operations_research::sat::IntegerTrailinline
RegisterReversibleClass(ReversibleInterface *rev)operations_research::sat::IntegerTrailinline
RegisterWatcher(SparseBitset< IntegerVariable > *p)operations_research::sat::IntegerTrailinline
RelaxLinearReason(IntegerValue slack, absl::Span< const IntegerValue > coeffs, std::vector< IntegerLiteral > *reason) constoperations_research::sat::IntegerTrail
RelaxLinearReason(IntegerValue slack, absl::Span< const IntegerValue > coeffs, std::vector< int > *trail_indices) constoperations_research::sat::IntegerTrail
RemoveLevelZeroBounds(std::vector< IntegerLiteral > *reason) constoperations_research::sat::IntegerTrail
ReportConflict(absl::Span< const Literal > literal_reason, absl::Span< const IntegerLiteral > integer_reason)operations_research::sat::IntegerTrailinline
ReportConflict(absl::Span< const IntegerLiteral > integer_reason)operations_research::sat::IntegerTrailinline
ReserveSpaceForNumVariables(int num_vars)operations_research::sat::IntegerTrail
RootLevelEnqueue(IntegerLiteral i_lit)operations_research::sat::IntegerTrail
SafeEnqueue(IntegerLiteral i_lit, absl::Span< const IntegerLiteral > integer_reason)operations_research::sat::IntegerTrail
SatPropagator(const std::string &name)operations_research::sat::SatPropagatorinlineexplicit
SatPropagator(const SatPropagator &)=deleteoperations_research::sat::SatPropagator
SetPropagatorId(int id)operations_research::sat::SatPropagatorinline
timestamp() constoperations_research::sat::IntegerTrailinline
Untrail(const Trail &trail, int literal_trail_index) finaloperations_research::sat::IntegerTrailvirtual
UpdateInitialDomain(IntegerVariable var, Domain domain)operations_research::sat::IntegerTrail
UpperBound(IntegerVariable i) constoperations_research::sat::IntegerTrailinline
UpperBound(AffineExpression expr) constoperations_research::sat::IntegerTrailinline
UpperBoundAsLiteral(IntegerVariable i) constoperations_research::sat::IntegerTrailinline
UpperBoundAsLiteral(AffineExpression expr) constoperations_research::sat::IntegerTrailinline
VariableLowerBoundIsFromLevelZero(IntegerVariable var) constoperations_research::sat::IntegerTrailinline
~IntegerTrail() finaloperations_research::sat::IntegerTrail
~SatPropagator()=defaultoperations_research::sat::SatPropagatorvirtual