Cudd_ReorderingType

Enum Cudd_ReorderingType

#[repr(C)]pub enum Cudd_ReorderingType {
Show 22 variants    CUDD_REORDER_SAME = 0,
    CUDD_REORDER_NONE = 1,
    CUDD_REORDER_RANDOM = 2,
    CUDD_REORDER_RANDOM_PIVOT = 3,
    CUDD_REORDER_SIFT = 4,
    CUDD_REORDER_SIFT_CONVERGE = 5,
    CUDD_REORDER_SYMM_SIFT = 6,
    CUDD_REORDER_SYMM_SIFT_CONV = 7,
    CUDD_REORDER_WINDOW2 = 8,
    CUDD_REORDER_WINDOW3 = 9,
    CUDD_REORDER_WINDOW4 = 10,
    CUDD_REORDER_WINDOW2_CONV = 11,
    CUDD_REORDER_WINDOW3_CONV = 12,
    CUDD_REORDER_WINDOW4_CONV = 13,
    CUDD_REORDER_GROUP_SIFT = 14,
    CUDD_REORDER_GROUP_SIFT_CONV = 15,
    CUDD_REORDER_ANNEALING = 16,
    CUDD_REORDER_GENETIC = 17,
    CUDD_REORDER_LINEAR = 18,
    CUDD_REORDER_LINEAR_CONVERGE = 19,
    CUDD_REORDER_LAZY_SIFT = 20,
    CUDD_REORDER_EXACT = 21,
}

Expand description

Types of variable reordering algorithms.

Variants§

CUDD_REORDER_SAME = 0

CUDD_REORDER_NONE = 1

CUDD_REORDER_RANDOM = 2

CUDD_REORDER_RANDOM_PIVOT = 3

CUDD_REORDER_SIFT = 4

CUDD_REORDER_SIFT_CONVERGE = 5

CUDD_REORDER_SYMM_SIFT = 6

CUDD_REORDER_SYMM_SIFT_CONV = 7

CUDD_REORDER_WINDOW2 = 8

CUDD_REORDER_WINDOW3 = 9

CUDD_REORDER_WINDOW4 = 10

CUDD_REORDER_WINDOW2_CONV = 11

CUDD_REORDER_WINDOW3_CONV = 12

CUDD_REORDER_WINDOW4_CONV = 13

CUDD_REORDER_GROUP_SIFT = 14

CUDD_REORDER_GROUP_SIFT_CONV = 15

CUDD_REORDER_ANNEALING = 16

CUDD_REORDER_GENETIC = 17

CUDD_REORDER_LINEAR = 18

CUDD_REORDER_LINEAR_CONVERGE = 19

CUDD_REORDER_LAZY_SIFT = 20

CUDD_REORDER_EXACT = 21

Auto Trait Implementations§

impl Freeze for Cudd_ReorderingType

impl RefUnwindSafe for Cudd_ReorderingType

impl Send for Cudd_ReorderingType

impl Sync for Cudd_ReorderingType

impl Unpin for Cudd_ReorderingType

impl UnwindSafe for Cudd_ReorderingType

Blanket Implementations§

impl<T> Any for T
where T: 'static + ?Sized,

fn type_id(&self) -> TypeId

Gets the TypeId of self. Read more

impl<T> Borrow<T> for T
where T: ?Sized,

fn borrow(&self) -> &T

Immutably borrows from an owned value. Read more

impl<T> BorrowMut<T> for T
where T: ?Sized,

fn borrow_mut(&mut self) -> &mut T

Mutably borrows from an owned value. Read more

impl<T> From<T> for T

fn from(t: T) -> T

Returns the argument unchanged.

impl<T, U> Into<U> for T
where U: From<T>,

fn into(self) -> U

Calls U::from(self).

That is, this conversion is whatever the implementation of From<T> for U chooses to do.

impl<T, U> TryFrom<U> for T
where U: Into<T>,

type Error = Infallible

The type returned in the event of a conversion error.

fn try_from(value: U) -> Result<T, <T as TryFrom<U>>::Error>

Performs the conversion.

impl<T, U> TryInto<U> for T
where U: TryFrom<T>,

type Error = <U as TryFrom<T>>::Error

The type returned in the event of a conversion error.

fn try_into(self) -> Result<U, <U as TryFrom<T>>::Error>

Performs the conversion.