public final class Transformers
extends java.lang.Object
Modifier and Type | Class | Description |
---|---|---|
static class |
Transformers.SimpleTransformer |
Modifier and Type | Field | Description |
---|---|---|
static Transformer |
MINIMIZER |
|
static Transformer |
RABIN_DEGENERALIZATION |
|
static Transformer |
RABIN_TO_PARITY |
|
static Transformer |
SIMPLIFY_MODAL_ITER |
|
static Transformer |
UNABBREVIATE_RW |
Modifier and Type | Method | Description |
---|---|---|
static java.util.List<Transformer.Instance> |
build(java.util.List<Transformer> transformers,
Environment env) |
|
static <K,V> Transformer |
fromFunction(java.lang.Class<K> inputClass,
java.util.function.Function<K,V> function) |
|
static Transformer |
fromWriter(OutputWriter writer) |
|
static <K,V> Transformer.Instance |
instanceFromFunction(java.lang.Class<K> inputClass,
java.util.function.Function<K,V> function) |
public static final Transformer SIMPLIFY_MODAL_ITER
public static final Transformer UNABBREVIATE_RW
public static final Transformer MINIMIZER
public static final Transformer RABIN_DEGENERALIZATION
public static final Transformer RABIN_TO_PARITY
public static <K,V> Transformer fromFunction(java.lang.Class<K> inputClass, java.util.function.Function<K,V> function)
public static <K,V> Transformer.Instance instanceFromFunction(java.lang.Class<K> inputClass, java.util.function.Function<K,V> function)
public static Transformer fromWriter(OutputWriter writer)
public static java.util.List<Transformer.Instance> build(java.util.List<Transformer> transformers, Environment env)