Struct obddimal::bdd_manager::dvo_schedules::AlwaysUntilConvergence
source · [−]pub struct AlwaysUntilConvergence {}
Expand description
Always perform sifting of all variables until the number of nodes does not change anymore.
Trait Implementations
sourceimpl DVOSchedule for AlwaysUntilConvergence
impl DVOSchedule for AlwaysUntilConvergence
sourceimpl Default for AlwaysUntilConvergence
impl Default for AlwaysUntilConvergence
sourcefn default() -> AlwaysUntilConvergence
fn default() -> AlwaysUntilConvergence
Returns the “default value” for a type. Read more
sourceimpl From<AlwaysUntilConvergence> for DVOScheduleEnum
impl From<AlwaysUntilConvergence> for DVOScheduleEnum
sourcefn from(v: AlwaysUntilConvergence) -> DVOScheduleEnum
fn from(v: AlwaysUntilConvergence) -> DVOScheduleEnum
Converts to this type from the input type.
sourceimpl TryInto<AlwaysUntilConvergence> for DVOScheduleEnum
impl TryInto<AlwaysUntilConvergence> for DVOScheduleEnum
sourcefn try_into(
self
) -> Result<AlwaysUntilConvergence, <Self as TryInto<AlwaysUntilConvergence>>::Error>
fn try_into(
self
) -> Result<AlwaysUntilConvergence, <Self as TryInto<AlwaysUntilConvergence>>::Error>
Performs the conversion.
Auto Trait Implementations
impl RefUnwindSafe for AlwaysUntilConvergence
impl Send for AlwaysUntilConvergence
impl Sync for AlwaysUntilConvergence
impl Unpin for AlwaysUntilConvergence
impl UnwindSafe for AlwaysUntilConvergence
Blanket Implementations
sourceimpl<T> BorrowMut<T> for T where
T: ?Sized,
impl<T> BorrowMut<T> for T where
T: ?Sized,
const: unstable · sourcefn borrow_mut(&mut self) -> &mut T
fn borrow_mut(&mut self) -> &mut T
Mutably borrows from an owned value. Read more