|
mc2lib
|
This is the complete list of members for mc2lib::memconsistency::cats::Architecture, including all inherited members.
| Architecture() | mc2lib::memconsistency::cats::Architecture | inline |
| Clear() | mc2lib::memconsistency::cats::Architecture | inlinevirtual |
| EventTypeRead() const =0 | mc2lib::memconsistency::cats::Architecture | pure virtual |
| EventTypeWrite() const =0 | mc2lib::memconsistency::cats::Architecture | pure virtual |
| fences(const ExecWitness &ew) const =0 | mc2lib::memconsistency::cats::Architecture | pure virtual |
| hb(const ExecWitness &ew) const | mc2lib::memconsistency::cats::Architecture | inlinevirtual |
| MakeChecker(const Architecture *arch, const ExecWitness *exec) const =0 | mc2lib::memconsistency::cats::Architecture | pure virtual |
| ppo(const ExecWitness &ew) const =0 | mc2lib::memconsistency::cats::Architecture | pure virtual |
| prop(const ExecWitness &ew) const =0 | mc2lib::memconsistency::cats::Architecture | pure virtual |
| proxy_ | mc2lib::memconsistency::cats::Architecture | protected |
| set_proxy(const Architecture *proxy) | mc2lib::memconsistency::cats::Architecture | inline |
| ~Architecture() | mc2lib::memconsistency::cats::Architecture | inlinevirtual |
1.8.12