Enum ModelCheckerSetupError 

pub enum ModelCheckerSetupError<M: ModelChecker> {
    ErrorTransformingTA(TAErrorOf<M>),
    ErrorTransformingSpec(SpecErrorOf<M>),
    ErrorContextSetup(ContextErrorOf<M>),
    ErrorInitializingModelChecker(M::InitializationError),
}

Result type for initialization of a model checker

The error is parameterized by the model checker it originates from, as every stage of the setup reports the error type of that model checker.

Variants

ErrorTransformingTA(TAErrorOf<M>)

Could not initialize model checker because transformation of threshold automaton failed

ErrorTransformingSpec(SpecErrorOf<M>)

Could not initialize model checker because transformation of specification failed

ErrorContextSetup(ContextErrorOf<M>)

Could not initialize model checker because context could not be initialized

ErrorInitializingModelChecker(M::InitializationError)

Error that can occur during initialization

Trait Implementations

impl<M: Debug + ModelChecker> Debug for ModelCheckerSetupError<M>

where M::InitializationError: Debug,

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

Formats the value using the given formatter.

impl<M: ModelChecker> Display for ModelCheckerSetupError<M>

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

Formats the value using the given formatter.