Skip to main content

ProvidesSMTSolverBuilder

taco_smt_encoder

Trait ProvidesSMTSolverBuilder 

Source 
pub trait ProvidesSMTSolverBuilder {
    // Required method
    fn get_solver_builder(&self) -> SMTSolverBuilder;
}
Expand description

Trait for structures provide SMTSolverBuilders

This trait should be implemented by any type that can supply a model checker with a configured SMT solver builder. This is useful for model checking contexts that hold additional configuration such as for example BDD library configuration.

Required Methods§

Source

fn get_solver_builder(&self) -> SMTSolverBuilder

Get the configured SMTSolverBuilder

Dyn Compatibility§

This trait is dyn compatible.

In older versions of Rust, dyn compatibility was called "object safety".

Implementors§