Package owl.run.modules
Interface OwlModule
-
- All Known Subinterfaces:
InputReader
,OutputWriter
,Transformer
- All Known Implementing Classes:
AcceptanceOptimizations.AcceptanceOptimizationTransformer
,OutputWriters.ToHoa
,RabinDegeneralization
,SimplifierTransformer
,Transformers.SimpleTransformer
public interface OwlModule