Enum Event 

pub enum Event<B> {
    Smt(Def),
    Fork(u32, Sym, String),
    ReadReg(Name, Vec<Accessor>, Val<B>),
    WriteReg(Name, Vec<Accessor>, Val<B>),
    ReadMem {
        value: Val<B>,
        read_kind: Val<B>,
        address: Val<B>,
        bytes: u32,
        tag_value: Option<Val<B>>,
        kind: &'static str,
    },
    WriteMem {
        value: Sym,
        write_kind: Val<B>,
        address: Val<B>,
        data: Val<B>,
        bytes: u32,
        tag_value: Option<Val<B>>,
        kind: &'static str,
    },
    Branch {
        address: Val<B>,
    },
    Barrier {
        barrier_kind: Val<B>,
    },
    CacheOp {
        cache_op_kind: Val<B>,
        address: Val<B>,
    },
    MarkReg {
        regs: Vec<Name>,
        mark: String,
    },
    Cycle,
    Instr(Val<B>),
    Sleeping(Sym),
    SleepRequest,
    WakeupRequest,
}

Variants

Smt(Def)

Fork(u32, Sym, String)

ReadReg(Name, Vec<Accessor>, Val<B>)

WriteReg(Name, Vec<Accessor>, Val<B>)

ReadMem

Fields

value: Val<B>

read_kind: Val<B>

address: Val<B>

bytes: u32

tag_value: Option<Val<B>>

kind: &'static str

WriteMem

Fields

value: Sym

write_kind: Val<B>

address: Val<B>

data: Val<B>

bytes: u32

tag_value: Option<Val<B>>

kind: &'static str

Branch

Fields

address: Val<B>

Barrier

Fields

barrier_kind: Val<B>

CacheOp

Fields

cache_op_kind: Val<B>

address: Val<B>

MarkReg

Fields

regs: Vec<Name>

mark: String

Cycle

Instr(Val<B>)

Sleeping(Sym)

SleepRequest

WakeupRequest

Implementations

impl<B: BV> Event<B>

pub fn is_smt(&self) -> bool

pub fn is_reg(&self) -> bool

pub fn is_write_reg(&self) -> bool

pub fn is_cycle(&self) -> bool

pub fn is_instr(&self) -> bool

pub fn is_branch(&self) -> bool

pub fn is_barrier(&self) -> bool

pub fn is_fork(&self) -> bool

pub fn is_memory(&self) -> bool

pub fn is_memory_read(&self) -> bool

pub fn is_memory_write(&self) -> bool

pub fn is_cache_op(&self) -> bool

pub fn has_barrier_kind(&self, bk: usize) -> bool

pub fn has_read_kind(&self, rk: usize) -> bool

pub fn has_write_kind(&self, wk: usize) -> bool

pub fn has_cache_op_kind(&self, ck: usize) -> bool

Trait Implementations

impl<B: Clone> Clone for Event<B>

fn clone(&self) -> Event<B>

Returns a duplicate of the value.

fn clone_from(&mut self, source: &Self)

Performs copy-assignment from source.

impl<B: Debug> Debug for Event<B>

fn fmt(&self, f: &mut Formatter<'_>) -> Result

Formats the value using the given formatter.