Trait smt2::Compiler

pub trait Compiler: Environment {
    fn ident_of_symbol(&self, sym: &Symbol) -> Option<Self::Ident>;
    fn ident(&self, id: &Ident) -> Option<Self::Ident>;
    fn logic(&self, id: &Self::Ident) -> Option<Self::Logic>;
    fn constant(&self, id: &Self::Ident) -> Option<Self::Constant>;
    fn function(&self, id: &Self::Ident) -> Option<Self::Function>;
}

Required methods

fn ident_of_symbol(&self, sym: &Symbol) -> Option<Self::Ident>

Find the ident for the iven syntax symbol.

fn ident(&self, id: &Ident) -> Option<Self::Ident>

Find the ident for the given syntax ident.

fn logic(&self, id: &Self::Ident) -> Option<Self::Logic>

Find the logic with the given id.

fn constant(&self, id: &Self::Ident) -> Option<Self::Constant>

Find the constant with the given id.

fn function(&self, id: &Self::Ident) -> Option<Self::Function>

Find a function.

Loading content...

Implementors

Loading content...