smt_scope::parsers::z3::stack

Trait HasFrame

pub trait HasFrame {
    // Required method
    fn frame(self, parser: &Z3Parser) -> StackIdx;
}

Required Methods§

fn frame(self, parser: &Z3Parser) -> StackIdx

Implementors§

impl HasFrame for CdclIdx

impl HasFrame for ENodeIdx

impl HasFrame for InstIdx

impl HasFrame for MatchIdx

impl HasFrame for ProofIdx