Trait isla_axiomatic::page_table::PageAttrs[−][src]

pub trait PageAttrs {
    fn unknown() -> Self;
    fn bits(&self) -> (u64, u64);
    fn set<B: BV>(&self, desc: Sym, solver: &mut Solver<'_, B>);
}

Required methods

`fn unknown() -> Self`[src]

`fn bits(&self) -> (u64, u64)`[src]

`fn set<B: BV>(&self, desc: Sym, solver: &mut Solver<'_, B>)`[src]

Loading content...

Implementors

`impl PageAttrs for S1PageAttrs`[src]

`fn unknown() -> Self`[src]

`fn bits(&self) -> (u64, u64)`[src]

`fn set<B: BV>(&self, desc: Sym, solver: &mut Solver<'_, B>)`[src]

`impl PageAttrs for S2PageAttrs`[src]

`fn unknown() -> Self`[src]

`fn bits(&self) -> (u64, u64)`[src]

`fn set<B: BV>(&self, desc: Sym, solver: &mut Solver<'_, B>)`[src]

Loading content...