#include <Context.h>
Public Member Functions | |
| void | start_iteration () |
| void | cancel_iteration () |
| void | commit_iteration () |
| void | acquire (Lockable *L) |
Private Types | |
| typedef boost::intrusive::slist < Lockable, boost::intrusive::base_hook < LockableBaseHook > , boost::intrusive::constant_time_size < false > , boost::intrusive::linear < true > > | locksTy |
Private Attributes | |
| locksTy | locks |
typedef boost::intrusive::slist<Lockable, boost::intrusive::base_hook<LockableBaseHook>, boost::intrusive::constant_time_size<false>, boost::intrusive::linear<true> > GaloisRuntime::SimpleRuntimeContext::locksTy [private] |
| void GaloisRuntime::SimpleRuntimeContext::acquire | ( | Lockable * | L | ) | [inline] |
| void GaloisRuntime::SimpleRuntimeContext::cancel_iteration | ( | ) | [inline] |
| void GaloisRuntime::SimpleRuntimeContext::commit_iteration | ( | ) | [inline] |
| void GaloisRuntime::SimpleRuntimeContext::start_iteration | ( | ) | [inline] |
1.6.3