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