Struct z3::Context [−][src]
pub struct Context { /* fields omitted */ }
Expand description
Manager of all other Z3 objects, global configuration options, etc.
An application may use multiple Z3 contexts. Objects created in one context cannot be used in another one. However, several objects may be “translated” from one context to another. It is not safe to access Z3 objects from multiple threads.
Examples:
Creating a context with the default configuration:
use z3::{Config, Context}; let cfg = Config::new(); let ctx = Context::new(&cfg);
Implementations
Trait Implementations
Auto Trait Implementations
impl RefUnwindSafe for Context
impl UnwindSafe for Context