Package owl.run.modules
Class Transformers
- java.lang.Object
-
- owl.run.modules.Transformers
-
public final class Transformers extends Object
-
-
Nested Class Summary
Nested Classes Modifier and Type Class Description static classTransformers.SimpleTransformer
-
Field Summary
Fields Modifier and Type Field Description static TransformerLTL_SIMPLIFIERstatic TransformerMINIMIZERstatic TransformerRABIN_DEGENERALIZATIONstatic TransformerRABIN_TO_PARITY
-
Method Summary
All Methods Static Methods Concrete Methods Modifier and Type Method Description static List<Transformer.Instance>build(List<Transformer> transformers, Environment env)static <K,V> TransformerfromFunction(Class<K> inputClass, Function<K,V> function)static TransformerfromWriter(OutputWriter writer)static <K,V> Transformer.InstanceinstanceFromFunction(Class<K> inputClass, Function<K,V> function)
-
-
-
Field Detail
-
LTL_SIMPLIFIER
public static final Transformer LTL_SIMPLIFIER
-
MINIMIZER
public static final Transformer MINIMIZER
-
RABIN_DEGENERALIZATION
public static final Transformer RABIN_DEGENERALIZATION
-
RABIN_TO_PARITY
public static final Transformer RABIN_TO_PARITY
-
-
Method Detail
-
fromFunction
public static <K,V> Transformer fromFunction(Class<K> inputClass, Function<K,V> function)
-
instanceFromFunction
public static <K,V> Transformer.Instance instanceFromFunction(Class<K> inputClass, Function<K,V> function)
-
fromWriter
public static Transformer fromWriter(OutputWriter writer)
-
build
public static List<Transformer.Instance> build(List<Transformer> transformers, Environment env)
-
-