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