Package owl.automaton.symbolic

Class NumberingStateEncoderFactory

java.lang.Object

owl.automaton.symbolic.NumberingStateEncoderFactory

All Implemented Interfaces:

SymbolicAutomaton.StateEncoderFactory

public final class NumberingStateEncoderFactory
extends Object
implements SymbolicAutomaton.StateEncoderFactory

Field Summary

Fields

Modifier and Type	Field	Description
static NumberingStateEncoderFactory	INSTANCE

Method Summary

Modifier and Type	Method	Description
<S> SymbolicAutomaton.StateEncoder<S>	create(Automaton<? extends S,?> automaton)

Methods inherited from class java.lang.Object

clone, equals, finalize, getClass, hashCode, notify, notifyAll, toString, wait, wait, wait

Field Detail

INSTANCE

public static final NumberingStateEncoderFactory INSTANCE

Method Detail

create

public <S> SymbolicAutomaton.StateEncoder<S> create(Automaton<? extends S,?> automaton)

Specified by:

create in interface SymbolicAutomaton.StateEncoderFactory