• Addr : mc2lib::types
• EventPtrs : mc2lib::codegen
• EventRel : mc2lib::memconsistency
• EventRelSeq : mc2lib::memconsistency
• EventSet : mc2lib::memconsistency
• InstPtr : mc2lib::types
• MemOperation : mc2lib::codegen::armv7 , mc2lib::codegen::strong
• NullOperation : mc2lib::codegen::armv7 , mc2lib::codegen::strong
• Operation : mc2lib::codegen::armv7 , mc2lib::codegen::strong
• Pid : mc2lib::types
• Poi : mc2lib::types
• WriteID : mc2lib::types