Type Alias PreprocessorOf 

pub type PreprocessorOf<M> = Box<dyn Preprocessor<GeneralThresholdAutomaton, InternalSpecOf<M>, ContextOf<M>>>;

Preprocessor that can be applied before the threshold automaton is transformed into the internal representation of the model checker M

Aliased Type

pub struct PreprocessorOf<M>(/* private fields */);