#include <compiler.hpp>
|
| MemOp (types::Pid pid) |
|
virtual types::Addr | addr () const =0 |
|
| Op (types::Pid pid) |
|
virtual | ~Op () |
|
virtual void | AdvanceThread (ThreadItStack *it_stack) const |
|
virtual Ptr | Clone () const=0 |
|
virtual void | Reset ()=0 |
|
virtual bool | EnableEmit (EvtState *evts)=0 |
|
virtual void | InsertPo (ThreadConstIt before, EvtState *evts)=0 |
|
virtual void | RegisterCallback (CallbackStack *callback_stack) |
|
virtual std::size_t | Emit (types::InstPtr start, Backend *backend, EvtState *evts, void *code, std::size_t len)=0 |
|
virtual const mc::Event * | LastEvent (const mc::Event *next_event, EvtState *evts) const=0 |
|
virtual const mc::Event * | FirstEvent (const mc::Event *prev_event, EvtState *evts) const=0 |
|
virtual bool | UpdateObs (types::InstPtr ip, int part, types::Addr addr, const types::WriteID *from_id, std::size_t size, EvtState *evts)=0 |
|
types::Pid | pid () const |
|
void | set_pid (types::Pid pid) |
|
§ MemOp()
template<class Backend , class EvtState >
§ addr()
template<class Backend , class EvtState >
The documentation for this class was generated from the following file: