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