Enum BDDVarManagerError 

pub enum BDDVarManagerError {
    LocationVarsNotDeclared(Location),
    NoPrimedLocationVar(Location),
    NoUnprimedSharedVars(Variable),
    NoPrimedSharedVars(Variable),
    NoSharedIntervalBdd(Variable, Box<Interval>),
    NoPrimedSharedIntervalBdd(Variable, Box<Interval>),
    NoAbstractRuleBdd(Box<IntervalTARule>),
}

Custom Error type to indicate an error when creating a new bdd variable or trying to access an uninitialized one

Variants

LocationVarsNotDeclared(Location)

Error indicating that there exists no bdd variable for this location

NoPrimedLocationVar(Location)

Error indicating that there exists no primed bdd variables for this location

NoUnprimedSharedVars(Variable)

Error indicating that there exists no unprimed bdd variable for this shared variable

NoPrimedSharedVars(Variable)

Error indicating that there exists no primed bdd variable for this shared variable

NoSharedIntervalBdd(Variable, Box<Interval>)

Error indicating that there exist no bdd for this shared variable and this interval

NoPrimedSharedIntervalBdd(Variable, Box<Interval>)

Error indicating that there exist no primed bdd for this shared variable and this interval

NoAbstractRuleBdd(Box<IntervalTARule>)

Error indicating that there exist no bdd for this abstract rule

Trait Implementations

impl Clone for BDDVarManagerError

fn clone(&self) -> BDDVarManagerError

Returns a duplicate of the value.

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

Performs copy-assignment from source.

impl Debug for BDDVarManagerError

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

Formats the value using the given formatter.

impl Display for BDDVarManagerError

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

Formats the value using the given formatter.

impl Error for BDDVarManagerError

fn source(&self) -> Option<&(dyn Error + 'static)>

Returns the lower-level source of this error, if any.

fn description(&self) -> &str

👎Deprecated since 1.42.0: use the Display impl or to_string()

fn cause(&self) -> Option<&dyn Error>

👎Deprecated since 1.33.0: replaced by Error::source, which can support downcasting

fn provide<'a>(&'a self, request: &mut Request<'a>)

🔬This is a nightly-only experimental API. (error_generic_member_access)

Provides type-based access to context intended for error reports.