OwlModule
, Transformer
, Transformer.Instance
public final class RabinDegeneralization extends Transformers.SimpleTransformer
Modifier and Type | Class | Description |
---|---|---|
static class |
RabinDegeneralization.DegeneralizedRabinState<S> |
Transformer.Instance
Modifier and Type | Field | Description |
---|---|---|
static OwlModuleParser.TransformerParser |
CLI |
|
static RabinDegeneralization |
INSTANCE |
Constructor | Description |
---|---|
RabinDegeneralization() |
Modifier and Type | Method | Description |
---|---|---|
static <S> Automaton<?,RabinAcceptance> |
degeneralize(Automaton<S,? extends GeneralizedRabinAcceptance> automaton) |
|
java.lang.Object |
transform(java.lang.Object object,
PipelineExecutionContext context) |
Applies the transformation represented by this transformer to the given object.
|
clone, equals, finalize, getClass, hashCode, notify, notifyAll, toString, wait, wait, wait
closeTransformer
create
public static final RabinDegeneralization INSTANCE
public static final OwlModuleParser.TransformerParser CLI
public static <S> Automaton<?,RabinAcceptance> degeneralize(Automaton<S,? extends GeneralizedRabinAcceptance> automaton)
public java.lang.Object transform(java.lang.Object object, PipelineExecutionContext context)
Transformer.Instance