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

Implementors§