Trail Member List

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