#include <Trail.hxx>
Public Member Functions | |
| Trail () | |
| size_t | snapshot () const |
| void | subst (boost::shared_ptr< Type > from, boost::shared_ptr< Type > to) |
| void | link (boost::shared_ptr< Type > from, boost::shared_ptr< Type > to) |
| void | rollBack (const size_t upto=0) |
| void | release (const size_t n, boost::shared_ptr< Type > rel) |
Static Public Member Functions | |
| static boost::shared_ptr< Trail > | make () |
Data Fields | |
| std::vector< boost::shared_ptr< Type > > | vec |
Definition at line 47 of file Trail.hxx.
Referenced by rollBack().
| static boost::shared_ptr<Trail> Trail::make | ( | ) | [inline, static] |
Definition at line 55 of file Trail.hxx.
Referenced by coerce(), UocInfo::DoTypeCheck(), and isAsGeneral().
| void Trail::release | ( | const size_t | n, | |
| boost::shared_ptr< Type > | rel | |||
| ) |
| void Trail::rollBack | ( | const size_t | upto = 0 |
) |
Definition at line 117 of file Trail.cxx.
References assert(), DEBUG, Options::debugTvP, boost::GC_NULL, link(), and vec.
| std::vector<boost::shared_ptr<Type> > Trail::vec |
1.4.7