Struct z3::Context

pub struct Context {
    // some fields omitted
}

Methods

impl Context

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

Trait Implementations

impl Drop for Context

fn drop(&mut self)

A method called when the value goes out of scope.