#include <cats.hpp>
Inheritance diagram for mc2lib::memconsistency::cats::ArchProxy< ConcreteArch >:
Public Member Functions | |
| ArchProxy (ConcreteArch *arch) | |
| ~ArchProxy () override | |
| void | Clear () override |
| std::unique_ptr< Checker > | MakeChecker (const Architecture *arch, const ExecWitness *exec) const override |
| std::unique_ptr< Checker > | MakeChecker (const ExecWitness *exec) const |
| void | Memoize (const ExecWitness &ew) |
| EventRel | ppo (const ExecWitness &ew) const override |
| EventRel | fences (const ExecWitness &ew) const override |
| EventRel | prop (const ExecWitness &ew) const override |
| EventRel | hb (const ExecWitness &ew) const override |
| Event::Type | EventTypeRead () const override |
| Event::Type | EventTypeWrite () const override |
 Public Member Functions inherited from mc2lib::memconsistency::cats::Architecture | |
| Architecture () | |
| virtual | ~Architecture () |
| void | set_proxy (const Architecture *proxy) |
Protected Attributes | |
| ConcreteArch * | arch_ |
| bool | memoized_ppo_ |
| bool | memoized_fences_ |
| bool | memoized_prop_ |
| bool | memoized_hb_ |
| EventRel | ppo_ |
| EventRel | fences_ |
| EventRel | prop_ |
| EventRel | hb_ |
| Protected Attributes inherited from mc2lib::memconsistency::cats::Architecture | |
| const Architecture * | proxy_ |
Constructor & Destructor Documentation
§ ArchProxy()
template<class ConcreteArch >
|
inlineexplicit |
§ ~ArchProxy()
template<class ConcreteArch >
|
inlineoverride |
Member Function Documentation
§ Clear()
template<class ConcreteArch >
|
inlineoverridevirtual |
Reimplemented from mc2lib::memconsistency::cats::Architecture.
§ EventTypeRead()
template<class ConcreteArch >
|
inlineoverridevirtual |
Should return the mask of all types that are classed as read.
Implements mc2lib::memconsistency::cats::Architecture.
§ EventTypeWrite()
template<class ConcreteArch >
|
inlineoverridevirtual |
Should return the mask of all types that are classed as write.
Implements mc2lib::memconsistency::cats::Architecture.
§ fences()
template<class ConcreteArch >
|
inlineoverridevirtual |
Implements mc2lib::memconsistency::cats::Architecture.
§ hb()
template<class ConcreteArch >
|
inlineoverridevirtual |
Reimplemented from mc2lib::memconsistency::cats::Architecture.
§ MakeChecker() [1/2]
template<class ConcreteArch >
|
inlineoverridevirtual |
Creates a checker compatible with this Architecture.
Implements mc2lib::memconsistency::cats::Architecture.
§ MakeChecker() [2/2]
template<class ConcreteArch >
|
inline |
§ Memoize()
template<class ConcreteArch >
|
inline |
§ ppo()
template<class ConcreteArch >
|
inlineoverridevirtual |
Implements mc2lib::memconsistency::cats::Architecture.
§ prop()
template<class ConcreteArch >
|
inlineoverridevirtual |
Implements mc2lib::memconsistency::cats::Architecture.
Member Data Documentation
§ arch_
template<class ConcreteArch >
|
protected |
§ fences_
template<class ConcreteArch >
|
protected |
§ hb_
template<class ConcreteArch >
|
protected |
§ memoized_fences_
template<class ConcreteArch >
|
protected |
§ memoized_hb_
template<class ConcreteArch >
|
protected |
§ memoized_ppo_
template<class ConcreteArch >
|
protected |
§ memoized_prop_
template<class ConcreteArch >
|
protected |
§ ppo_
template<class ConcreteArch >
|
protected |
§ prop_
template<class ConcreteArch >
|
protected |
The documentation for this class was generated from the following file:
- include/mc2lib/memconsistency/cats.hpp
