![]() |
OR-Tools
8.2
|
This is the complete list of members for Trail, including all inherited members.
Assignment() const | Trail | inline |
AssignmentType(BooleanVariable var) const | Trail | inline |
ChangeReason(int trail_index, int propagator_id) | Trail | inline |
CurrentDecisionLevel() const | Trail | inline |
DebugString() | Trail | inline |
Dequeue() | Trail | inline |
Enqueue(Literal true_literal, int propagator_id) | Trail | inline |
EnqueueSearchDecision(Literal true_literal) | Trail | inline |
EnqueueWithSameReasonAs(Literal true_literal, BooleanVariable reference_var) | Trail | inline |
EnqueueWithStoredReason(Literal true_literal) | Trail | inline |
EnqueueWithUnitReason(Literal true_literal) | Trail | inline |
FailingClause() const | Trail | inline |
FailingSatClause() const | Trail | inline |
GetEmptyVectorToStoreReason(int trail_index) const | Trail | inline |
GetEmptyVectorToStoreReason() const | Trail | inline |
Index() const | Trail | inline |
Info(BooleanVariable var) const | Trail | inline |
MutableConflict() | Trail | inline |
NumberOfEnqueues() const | Trail | inline |
NumVariables() const | Trail | inline |
operator[](int index) const | Trail | inline |
Reason(BooleanVariable var) const | Trail | inline |
ReferenceVarWithSameReason(BooleanVariable var) const | Trail | inline |
RegisterPropagator(SatPropagator *propagator) | Trail | inline |
Resize(int num_variables) | Trail | inline |
SetDecisionLevel(int level) | Trail | inline |
SetFailingSatClause(SatClause *clause) | Trail | inline |
Trail(Model *model) | Trail | inlineexplicit |
Trail() | Trail | inline |
Untrail(int target_trail_index) | Trail | inline |