Public Member Functions | |
PredecessorInfo (const TimeStampedState *pred, const Operator *annote) | |
Public Attributes | |
const Operator * | annotation |
const TimeStampedState * | predecessor |
Definition at line 29 of file closed_list.h.
ClosedList::PredecessorInfo::PredecessorInfo | ( | const TimeStampedState * | pred, |
const Operator * | annote | ||
) | [inline] |
Definition at line 33 of file closed_list.h.
Definition at line 32 of file closed_list.h.
Definition at line 31 of file closed_list.h.