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".

Implementations on Foreign Types

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

type TransformationError = Infallible

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