BddManager

taco_bdd

Trait BddManager 

Source 
pub trait BddManager:
    Debug
    + PartialEq
    + Clone
    + Default {
    type DD: Bdd;

    // Required methods
    fn new_var(&mut self) -> Self::DD;
    fn get_bdd_false(&self) -> Self::DD;
    fn get_bdd_true(&self) -> Self::DD;
}
Expand description

The BDDManager trait defines the interface for a BDD manager. The associated type DD is the type of BDDs created by this manager.

Required Associated Types§

Source

type DD: Bdd

The type of BDDs created by the manager.

Required Methods§

Source

fn new_var(&mut self) -> Self::DD

Create a new BDD that is not referenced yet.

Source

fn get_bdd_false(&self) -> Self::DD

Get false BDD

Source

fn get_bdd_true(&self) -> Self::DD

Get true BDD

Dyn Compatibility§

This trait is not dyn compatible.

In older versions of Rust, dyn compatibility was called "object safety", so this trait is not object safe.

Implementors§