Struct boolean_expression::PersistedBDD [−][src]
A PersistedBDD
is a wrapper around a BDD
that provides a means to write
BDD labels and nodes out to a BDDOutput
. It tracks how much of the BDD
has already been writen out, and writes out new nodes and labels as
required when its persist()
or persist_all()
method is called.
Implementations
impl<T> PersistedBDD<T> where
T: Clone + Debug + Eq + Hash,
[src]
T: Clone + Debug + Eq + Hash,
pub fn new() -> PersistedBDD<T>
[src]
Create a new PersistedBDD
.
pub fn bdd(&self) -> &BDD<T>
[src]
Return the inner BDD.
pub fn bdd_mut(&mut self) -> &mut BDD<T>
[src]
Return the inner BDD.
pub fn persist<E>(
&mut self,
f: BDDFunc,
out: &dyn BDDOutput<T, E>
) -> Result<(), E>
[src]
&mut self,
f: BDDFunc,
out: &dyn BDDOutput<T, E>
) -> Result<(), E>
Persist (at least) all labels and nodes in the BDD necessary to fully
describe BDD function f
. More records than strictly necessary may be
written out.
pub fn persist_all<E>(&mut self, out: &dyn BDDOutput<T, E>) -> Result<(), E>
[src]
Persist all labels and nodes in the BDD.
Auto Trait Implementations
impl<T> RefUnwindSafe for PersistedBDD<T> where
T: RefUnwindSafe,
T: RefUnwindSafe,
impl<T> Send for PersistedBDD<T> where
T: Send,
T: Send,
impl<T> Sync for PersistedBDD<T> where
T: Sync,
T: Sync,
impl<T> Unpin for PersistedBDD<T> where
T: Unpin,
T: Unpin,
impl<T> UnwindSafe for PersistedBDD<T> where
T: UnwindSafe,
T: UnwindSafe,
Blanket Implementations
impl<T> Any for T where
T: 'static + ?Sized,
[src]
T: 'static + ?Sized,
impl<T> Borrow<T> for T where
T: ?Sized,
[src]
T: ?Sized,
impl<T> BorrowMut<T> for T where
T: ?Sized,
[src]
T: ?Sized,
pub fn borrow_mut(&mut self) -> &mut T
[src]
impl<T> From<T> for T
[src]
impl<T, U> Into<U> for T where
U: From<T>,
[src]
U: From<T>,
impl<T, U> TryFrom<U> for T where
U: Into<T>,
[src]
U: Into<T>,
type Error = Infallible
The type returned in the event of a conversion error.
pub fn try_from(value: U) -> Result<T, <T as TryFrom<U>>::Error>
[src]
impl<T, U> TryInto<U> for T where
U: TryFrom<T>,
[src]
U: TryFrom<T>,