OR-Tools  8.2
Trail Member List

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

Assignment() constTrailinline
AssignmentType(BooleanVariable var) constTrailinline
ChangeReason(int trail_index, int propagator_id)Trailinline
CurrentDecisionLevel() constTrailinline
DebugString()Trailinline
Dequeue()Trailinline
Enqueue(Literal true_literal, int propagator_id)Trailinline
EnqueueSearchDecision(Literal true_literal)Trailinline
EnqueueWithSameReasonAs(Literal true_literal, BooleanVariable reference_var)Trailinline
EnqueueWithStoredReason(Literal true_literal)Trailinline
EnqueueWithUnitReason(Literal true_literal)Trailinline
FailingClause() constTrailinline
FailingSatClause() constTrailinline
GetEmptyVectorToStoreReason(int trail_index) constTrailinline
GetEmptyVectorToStoreReason() constTrailinline
Index() constTrailinline
Info(BooleanVariable var) constTrailinline
MutableConflict()Trailinline
NumberOfEnqueues() constTrailinline
NumVariables() constTrailinline
operator[](int index) constTrailinline
Reason(BooleanVariable var) constTrailinline
ReferenceVarWithSameReason(BooleanVariable var) constTrailinline
RegisterPropagator(SatPropagator *propagator)Trailinline
Resize(int num_variables)Trailinline
SetDecisionLevel(int level)Trailinline
SetFailingSatClause(SatClause *clause)Trailinline
Trail(Model *model)Trailinlineexplicit
Trail()Trailinline
Untrail(int target_trail_index)Trailinline