public class ExamplePaulAndMary extends DefaultLearningExample.DefaultDFALearningExample<net.automatalib.words.impl.Symbol>
DefaultLearningExample.DefaultDFALearningExample<I>, DefaultLearningExample.DefaultMealyLearningExample<I,D>
LearningExample.DFALearningExample<I>, LearningExample.MealyLearningExample<I,O>
Modifier and Type | Field and Description |
---|---|
static net.automatalib.words.impl.Symbol |
IN_LOVES |
static net.automatalib.words.impl.Symbol |
IN_MARY |
static net.automatalib.words.impl.Symbol |
IN_PAUL |
Constructor and Description |
---|
ExamplePaulAndMary() |
Modifier and Type | Method and Description |
---|---|
static net.automatalib.automata.fsa.impl.compact.CompactDFA<net.automatalib.words.impl.Symbol> |
constructMachine()
Construct and return a machine representation of this example.
|
static <A extends net.automatalib.automata.fsa.MutableDFA<S,? super net.automatalib.words.impl.Symbol>,S> |
constructMachine(A dfa) |
static ExamplePaulAndMary |
createExample() |
static net.automatalib.words.Alphabet<net.automatalib.words.impl.Symbol> |
createInputAlphabet() |
getAlphabet, getReferenceAutomaton
clone, equals, finalize, getClass, hashCode, notify, notifyAll, toString, wait, wait, wait
getAlphabet, getReferenceAutomaton
public static final net.automatalib.words.impl.Symbol IN_PAUL
public static final net.automatalib.words.impl.Symbol IN_LOVES
public static final net.automatalib.words.impl.Symbol IN_MARY
public static net.automatalib.automata.fsa.impl.compact.CompactDFA<net.automatalib.words.impl.Symbol> constructMachine()
public static <A extends net.automatalib.automata.fsa.MutableDFA<S,? super net.automatalib.words.impl.Symbol>,S> A constructMachine(A dfa)
public static net.automatalib.words.Alphabet<net.automatalib.words.impl.Symbol> createInputAlphabet()
public static ExamplePaulAndMary createExample()
Copyright © 2018. All rights reserved.