Trait TransitionSystemGenerator 

pub trait TransitionSystemGenerator {
    type Ts<'a>: TransitionSystem
       where Self: 'a;

    // Required method
    fn generate<'a>(&'a self) -> Self::Ts<'a>;
}

A type that can generate instances of a TransitionSystem.

Required Associated Types

type Ts<'a>: TransitionSystem where Self: 'a

The type of TransitionSystem to be generated.

Required Methods

fn generate<'a>(&'a self) -> Self::Ts<'a>

Generate a new instance of the TransitionSystem.

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.

Implementors

impl TransitionSystemGenerator for CsModel

type Ts<'a> = CsModelRun<'a> where Self: 'a

impl TransitionSystemGenerator for PgModel

type Ts<'a> = PgModelRun<'a> where Self: 'a