mc2lib::codegen::EvtStateCats Member List

This is the complete list of members for mc2lib::codegen::EvtStateCats, including all inherited members.

addr_mask() const	mc2lib::codegen::EvtStateCats	inline
addr_mask_	mc2lib::codegen::EvtStateCats	private
arch()	mc2lib::codegen::EvtStateCats	inline
arch() const	mc2lib::codegen::EvtStateCats	inline
arch_	mc2lib::codegen::EvtStateCats	private
EvtStateCats(mc::cats::ExecWitness *ew, mc::cats::Architecture *arch)	mc2lib::codegen::EvtStateCats	inlineexplicit
ew()	mc2lib::codegen::EvtStateCats	inline
ew() const	mc2lib::codegen::EvtStateCats	inline
ew_	mc2lib::codegen::EvtStateCats	private
Exhausted() const	mc2lib::codegen::EvtStateCats	inline
GetWrite(const EventPtrs< max_size_bytes > &after, types::Addr addr, const types::WriteID *from_id, std::size_t size=max_size_bytes)	mc2lib::codegen::EvtStateCats	inline
kInitWrite	mc2lib::codegen::EvtStateCats	static
kMaxOpEvents	mc2lib::codegen::EvtStateCats	static
kMaxOpSize	mc2lib::codegen::EvtStateCats	static
kMaxOther	mc2lib::codegen::EvtStateCats	static
kMaxWrite	mc2lib::codegen::EvtStateCats	static
kMinOther	mc2lib::codegen::EvtStateCats	static
kMinWrite	mc2lib::codegen::EvtStateCats	static
last_other_id	mc2lib::codegen::EvtStateCats	private
last_write_id_	mc2lib::codegen::EvtStateCats	private
MakeEvent(types::Pid pid, mc::Event::Type type, std::size_t size, Func mkevt)	mc2lib::codegen::EvtStateCats	inline
MakeOther(types::Pid pid, mc::Event::Type type, types::Addr addr)	mc2lib::codegen::EvtStateCats	inline
MakeRead(types::Pid pid, mc::Event::Type type, types::Addr addr, std::size_t size=max_size_bytes)	mc2lib::codegen::EvtStateCats	inline
MakeWrite(types::Pid pid, mc::Event::Type type, types::Addr addr, types::WriteID *data, std::size_t size=max_size_bytes)	mc2lib::codegen::EvtStateCats	inline
Reset()	mc2lib::codegen::EvtStateCats	inline
set_addr_mask(types::Addr val)	mc2lib::codegen::EvtStateCats	inline
WriteID_EventPtr typedef	mc2lib::codegen::EvtStateCats	private
writes_	mc2lib::codegen::EvtStateCats	private