Skip to main content

ProvidesSMTSolverBuilderCfg

taco_smt_encoder

Trait ProvidesSMTSolverBuilderCfg 

Source 
pub trait ProvidesSMTSolverBuilderCfg {
    // Required method
    fn get_smt_solver_builder_cfg(&self) -> &SMTSolverBuilderCfg;
}
Expand description

Trait for types that can provide an SMTSolverBuilderCfg

Required Methods§

Source

fn get_smt_solver_builder_cfg(&self) -> &SMTSolverBuilderCfg

Get the SMTSolverBuilderCfg

Dyn Compatibility§

This trait is dyn compatible.

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

Implementors§