Uses of Package
net.automatalib.automaton.base
-
Classes in net.automatalib.automaton.base used by net.automatalib.automaton Class Description AbstractCompact Abstract super class for compact automata representations.AbstractCompact.Payload A utility class that encapsulates necessary information for performing an update of the stored automata data.AbstractCompactDeterministic Abstract super class that refinesAbstractCompactfor deterministic automata.AbstractCompactSimpleDeterministic Abstract super class that refinesAbstractCompactDeterministicfor transition-property-less automata. -
Classes in net.automatalib.automaton.base used by net.automatalib.automaton.base Class Description AbstractCompact Abstract super class for compact automata representations.AbstractCompact.Payload A utility class that encapsulates necessary information for performing an update of the stored automata data.AbstractCompactDeterministic Abstract super class that refinesAbstractCompactfor deterministic automata.AbstractCompactSimpleDeterministic Abstract super class that refinesAbstractCompactDeterministicfor transition-property-less automata.AbstractCompactSimpleNondet Abstract super class that refinesAbstractCompactfor transition-property-less automata.AbstractFastMutable Shared functionality for (non-) deterministic mutable automata.AbstractFastState -
Classes in net.automatalib.automaton.base used by net.automatalib.automaton.fsa Class Description AbstractCompact Abstract super class for compact automata representations.AbstractCompactDeterministic Abstract super class that refinesAbstractCompactfor deterministic automata.AbstractCompactSimpleDeterministic Abstract super class that refinesAbstractCompactDeterministicfor transition-property-less automata.AbstractCompactSimpleNondet Abstract super class that refinesAbstractCompactfor transition-property-less automata.AbstractFastMutable Shared functionality for (non-) deterministic mutable automata.AbstractFastMutableDet AbstractFastMutableNondet AbstractFastState -
Classes in net.automatalib.automaton.base used by net.automatalib.automaton.transducer Class Description AbstractCompact Abstract super class for compact automata representations.AbstractCompact.Payload A utility class that encapsulates necessary information for performing an update of the stored automata data.AbstractCompactDeterministic Abstract super class that refinesAbstractCompactfor deterministic automata.AbstractCompactSimpleDeterministic Abstract super class that refinesAbstractCompactDeterministicfor transition-property-less automata.AbstractFastMutable Shared functionality for (non-) deterministic mutable automata.AbstractFastMutableDet AbstractFastState -
Classes in net.automatalib.automaton.base used by net.automatalib.automaton.transducer.probabilistic Class Description AbstractFastMutable Shared functionality for (non-) deterministic mutable automata.AbstractFastMutableNondet AbstractFastState -
Classes in net.automatalib.automaton.base used by net.automatalib.ts.modal Class Description AbstractCompact Abstract super class for compact automata representations.AbstractCompact.Payload A utility class that encapsulates necessary information for performing an update of the stored automata data.