Enum obddimal::bdd_manager::dvo_schedules::DVOScheduleEnum

pub enum DVOScheduleEnum {
    NoDVOSchedule(NoDVOSchedule),
    AlwaysUntilConvergence(AlwaysUntilConvergence),
    AtThreshold(AtThreshold),
    SiftingAtThreshold(SiftingAtThreshold),
    TimeSizeLimit(TimeSizeLimit),
    AlwaysOnce(AlwaysOnce),
}

This contains all available DVO implementations

Variants

NoDVOSchedule(NoDVOSchedule)

AlwaysUntilConvergence(AlwaysUntilConvergence)

AtThreshold(AtThreshold)

SiftingAtThreshold(SiftingAtThreshold)

TimeSizeLimit(TimeSizeLimit)

AlwaysOnce(AlwaysOnce)

Trait Implementations

impl DVOSchedule for DVOScheduleEnum

fn run_dvo(
    &mut self,
    __enum_dispatch_arg_0: usize,
    __enum_dispatch_arg_1: &mut DDManager,
    __enum_dispatch_arg_2: NodeID,
    __enum_dispatch_arg_3: &Option<ProgressBar>
) -> NodeID

This gets called after a CNF clause has been integrated. The current root node is f, the implementation must return the new root node ID, even if it does not change.

• num_clause: The index of the current clause, in integration order (which may differ from the order defined in the input CNF).

impl Default for DVOScheduleEnum

fn default() -> Self

Returns the “default value” for a type.

impl From<AlwaysOnce> for DVOScheduleEnum

fn from(v: AlwaysOnce) -> DVOScheduleEnum

Converts to this type from the input type.

impl From<AlwaysUntilConvergence> for DVOScheduleEnum

fn from(v: AlwaysUntilConvergence) -> DVOScheduleEnum

Converts to this type from the input type.

impl From<AtThreshold> for DVOScheduleEnum

fn from(v: AtThreshold) -> DVOScheduleEnum

Converts to this type from the input type.

impl From<NoDVOSchedule> for DVOScheduleEnum

fn from(v: NoDVOSchedule) -> DVOScheduleEnum

Converts to this type from the input type.

impl From<SiftingAtThreshold> for DVOScheduleEnum

fn from(v: SiftingAtThreshold) -> DVOScheduleEnum

Converts to this type from the input type.

impl From<TimeSizeLimit> for DVOScheduleEnum

fn from(v: TimeSizeLimit) -> DVOScheduleEnum

Converts to this type from the input type.

impl TryInto<AlwaysOnce> for DVOScheduleEnum

type Error = &'static str

The type returned in the event of a conversion error.

fn try_into(self) -> Result<AlwaysOnce, <Self as TryInto<AlwaysOnce>>::Error>

Performs the conversion.

impl TryInto<AlwaysUntilConvergence> for DVOScheduleEnum

type Error = &'static str

The type returned in the event of a conversion error.

fn try_into(
    self
) -> Result<AlwaysUntilConvergence, <Self as TryInto<AlwaysUntilConvergence>>::Error>

Performs the conversion.

impl TryInto<AtThreshold> for DVOScheduleEnum

type Error = &'static str

The type returned in the event of a conversion error.

fn try_into(self) -> Result<AtThreshold, <Self as TryInto<AtThreshold>>::Error>

Performs the conversion.

impl TryInto<NoDVOSchedule> for DVOScheduleEnum

type Error = &'static str

The type returned in the event of a conversion error.

fn try_into(
    self
) -> Result<NoDVOSchedule, <Self as TryInto<NoDVOSchedule>>::Error>

Performs the conversion.

impl TryInto<SiftingAtThreshold> for DVOScheduleEnum

type Error = &'static str

The type returned in the event of a conversion error.

fn try_into(
    self
) -> Result<SiftingAtThreshold, <Self as TryInto<SiftingAtThreshold>>::Error>

Performs the conversion.

impl TryInto<TimeSizeLimit> for DVOScheduleEnum

type Error = &'static str

The type returned in the event of a conversion error.

fn try_into(
    self
) -> Result<TimeSizeLimit, <Self as TryInto<TimeSizeLimit>>::Error>

Performs the conversion.