Struct z3::Context
[−]
[src]
pub struct Context { // some fields omitted }
pub struct Context { // some fields omitted }
impl Context
[src]fn new(cfg: &Config) -> Context
fn int_sym(&self, i: u32) -> Symbol
fn str_sym(&self, s: &str) -> Symbol
fn bool_sort(&self) -> Sort
fn int_sort(&self) -> Sort
fn real_sort(&self) -> Sort
impl Drop for Context
[src]