Package owl.run.modules
Interface OwlModule.Instance
-
- All Known Subinterfaces:
OwlModule.AutomatonTransformer,OwlModule.InputReader,OwlModule.LabelledFormulaTransformer,OwlModule.OutputWriter,OwlModule.Transformer
- All Known Implementing Classes:
AcceptanceOptimizations.AcceptanceOptimizationTransformer,OutputWriters.AutomatonStats,OutputWriters.ToHoa,SimplifierTransformer
- Enclosing class:
- OwlModule<M extends OwlModule.Instance>
public static interface OwlModule.Instance