Trait biodivine_lib_bdd::IntoBdd

source · [−]
pub trait IntoBdd {
    fn into_bdd(self, variables: &BddVariableSet) -> Bdd;
}
Expand description

A trait which allows quick conversion of a type into a Bdd, assuming an appropriate BddVariablesSet is provided.

Required methods

Implementations on Foreign Types

Implementors