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

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

Assignment() constoperations_research::sat::Trailinline
AssignmentType(BooleanVariable var) constoperations_research::sat::Trailinline
ChangeReason(int trail_index, int propagator_id)operations_research::sat::Trailinline
CurrentDecisionLevel() constoperations_research::sat::Trailinline
DebugString() constoperations_research::sat::Trailinline
Enqueue(Literal true_literal, int propagator_id)operations_research::sat::Trailinline
EnqueueSearchDecision(Literal true_literal)operations_research::sat::Trailinline
EnqueueWithSameReasonAs(Literal true_literal, BooleanVariable reference_var)operations_research::sat::Trailinline
EnqueueWithStoredReason(Literal true_literal)operations_research::sat::Trailinline
EnqueueWithUnitReason(Literal true_literal)operations_research::sat::Trailinline
FailingClause() constoperations_research::sat::Trailinline
FailingSatClause() constoperations_research::sat::Trailinline
FastEnqueue(Literal true_literal)operations_research::sat::Trailinline
GetEmptyVectorToStoreReason(int trail_index) constoperations_research::sat::Trailinline
GetEmptyVectorToStoreReason() constoperations_research::sat::Trailinline
Index() constoperations_research::sat::Trailinline
Info(BooleanVariable var) constoperations_research::sat::Trailinline
IteratorAt(int index) constoperations_research::sat::Trailinline
MutableConflict()operations_research::sat::Trailinline
NumberOfEnqueues() constoperations_research::sat::Trailinline
NumVariables() constoperations_research::sat::Trailinline
operator=(const Trail &)=deleteoperations_research::sat::Trail
operator[](int index) constoperations_research::sat::Trailinline
Reason(BooleanVariable var, int64_t conflict_id=-1) constoperations_research::sat::Trailinline
ReferenceVarWithSameReason(BooleanVariable var) constoperations_research::sat::Trailinline
RegisterDebugChecker(std::function< bool(absl::Span< const Literal > clause)> checker)operations_research::sat::Trailinline
RegisterPropagator(SatPropagator *propagator)operations_research::sat::Trailinline
Resize(int num_variables)operations_research::sat::Trailinline
SetCurrentPropagatorId(int propagator_id)operations_research::sat::Trailinline
SetDecisionLevel(int level)operations_research::sat::Trailinline
SetFailingSatClause(SatClause *clause)operations_research::sat::Trailinline
Trail()operations_research::sat::Trailinline
Trail(const Trail &)=deleteoperations_research::sat::Trail
Untrail(int target_trail_index)operations_research::sat::Trailinline