#include <model12.hpp>
§ Clear()
| void mc2lib::memconsistency::model12::ExecWitness::Clear |
( |
| ) |
|
|
inline |
§ com()
| EventRel mc2lib::memconsistency::model12::ExecWitness::com |
( |
| ) |
const |
|
inline |
§ fr() [1/2]
template<class FilterFunc >
| EventRel mc2lib::memconsistency::model12::ExecWitness::fr |
( |
FilterFunc |
filter_func | ) |
const |
|
inline |
§ fr() [2/2]
| EventRel mc2lib::memconsistency::model12::ExecWitness::fr |
( |
| ) |
const |
|
inline |
§ fre()
| EventRel mc2lib::memconsistency::model12::ExecWitness::fre |
( |
| ) |
const |
|
inline |
§ fri()
| EventRel mc2lib::memconsistency::model12::ExecWitness::fri |
( |
| ) |
const |
|
inline |
§ po_loc()
| EventRel mc2lib::memconsistency::model12::ExecWitness::po_loc |
( |
| ) |
const |
|
inline |
§ rfe()
| EventRel mc2lib::memconsistency::model12::ExecWitness::rfe |
( |
| ) |
const |
|
inline |
§ rfi()
| EventRel mc2lib::memconsistency::model12::ExecWitness::rfi |
( |
| ) |
const |
|
inline |
§ wse()
| EventRel mc2lib::memconsistency::model12::ExecWitness::wse |
( |
| ) |
const |
|
inline |
§ wsi()
| EventRel mc2lib::memconsistency::model12::ExecWitness::wsi |
( |
| ) |
const |
|
inline |
§ dp
| EventRel mc2lib::memconsistency::model12::ExecWitness::dp |
§ events
| EventSet mc2lib::memconsistency::model12::ExecWitness::events |
§ po
| EventRel mc2lib::memconsistency::model12::ExecWitness::po |
§ rf
| EventRel mc2lib::memconsistency::model12::ExecWitness::rf |
§ ws
| EventRel mc2lib::memconsistency::model12::ExecWitness::ws |
The documentation for this class was generated from the following file:
