Enum ddo::core::abstraction::mdd::MDDType

pub enum MDDType {
    Relaxed,
    Restricted,
    Exact,
}

This enumeration characterizes the kind of MDD being generated. It can either be

• Exact if it is a true account of the problem state space.
• Restricted if it is an under approximation of the problem state space.
• Relaxed if it is an over approximation of the problem state space.

Variants

Relaxed

Restricted

Exact

Trait Implementations

impl Clone for MDDType

fn clone(&self) -> MDDType

Returns a copy of the value.

fn clone_from(&mut self, source: &Self)

Performs copy-assignment from source.

impl Copy for MDDType

impl Debug for MDDType

fn fmt(&self, f: &mut Formatter) -> Result

Formats the value using the given formatter.

impl Eq for MDDType

impl PartialEq<MDDType> for MDDType

fn eq(&self, other: &MDDType) -> bool

This method tests for self and other values to be equal, and is used by ==.

#[must_use]fn ne(&self, other: &Rhs) -> bool

This method tests for !=.

impl StructuralEq for MDDType

impl StructuralPartialEq for MDDType