OwlModule
, Transformer
, Transformer.Instance
ImplicitMinimizeTransformer
, RabinDegeneralization
, RewriterTransformer
public abstract static class Transformers.SimpleTransformer extends java.lang.Object implements Transformer.Instance, Transformer
Transformer.Instance
Constructor | Description |
---|---|
SimpleTransformer() |
Modifier and Type | Method | Description |
---|---|---|
Transformer.Instance |
create(Environment environment) |
clone, equals, finalize, getClass, hashCode, notify, notifyAll, toString, wait, wait, wait
closeTransformer, transform
public Transformer.Instance create(Environment environment)
create
in interface Transformer