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