ProvidesBDDManager

taco_bdd

Trait ProvidesBDDManager 

Source 
pub trait ProvidesBDDManager {
    // Required method
    fn get_new_bdd_manager(&self) -> BDDManager;
}
Expand description

Trait for types that can provide a preconfigured BDDManager

This trait is implemented by types that can provide configured BDDManagers. For example, this trait can be implemented by model checker contexts.

Required Methods§

Source

fn get_new_bdd_manager(&self) -> BDDManager

Get a new, already configured bdd manager

Implementors§