Trait TATrait 

pub trait TATrait<MC: ModelCheckerContext, SC>:
    ThresholdAutomaton
    + Sized
    + Debug {
    type TransformationError: Error;

    // Required method
    fn try_from_general_ta(
        ta: GeneralThresholdAutomaton,
        ctx: &MC,
        spec_ctx: &SC,
    ) -> Result<Vec<Self>, Self::TransformationError>;
}

Trait that needs to be implemented by an internal threshold automaton representation

Required Associated Types

type TransformationError: Error

Error type that can occur when trying to convert from threshold automaton

Required Methods

fn try_from_general_ta( ta: GeneralThresholdAutomaton, ctx: &MC, spec_ctx: &SC, ) -> Result<Vec<Self>, Self::TransformationError>

Try to derive the internal threshold automaton representation from a general threshold automaton

Dyn Compatibility

This trait is not dyn compatible.

In older versions of Rust, dyn compatibility was called "object safety", so this trait is not object safe.

Implementations on Foreign Types

impl<C: ModelCheckerContext, SC> TATrait<C, SC> for GeneralThresholdAutomaton

type TransformationError = DummyError

fn try_from_general_ta( ta: GeneralThresholdAutomaton, _ctx: &C, _spec_ctx: &SC, ) -> Result<Vec<Self>, Self::TransformationError>

impl<C: ModelCheckerContext, SC> TATrait<C, SC> for LIAThresholdAutomaton

type TransformationError = LIATransformationError

fn try_from_general_ta( ta: GeneralThresholdAutomaton, _ctx: &C, _spec_ctx: &SC, ) -> Result<Vec<Self>, Self::TransformationError>

Implementors