Uses of Interface
de.ls5.jlearn.interfaces.Automaton

Packages that use Automaton

de.ls5.jlearn.algorithms.angluin
de.ls5.jlearn.algorithms.dhc
de.ls5.jlearn.algorithms.dhcmodular
de.ls5.jlearn.algorithms.packs
de.ls5.jlearn.automatons
de.ls5.jlearn.equivalenceoracles
de.ls5.jlearn.exporter.gui
de.ls5.jlearn.interfaces
de.ls5.jlearn.oracles
de.ls5.jlearn.shared
de.ls5.jlearn.splittercreators
de.ls5.jlearn.util

Uses of Automaton in de.ls5.jlearn.algorithms.angluin

Methods in de.ls5.jlearn.algorithms.angluin that return Automaton

Automaton

Angluin.getResult()

Uses of Automaton in de.ls5.jlearn.algorithms.dhc

Methods in de.ls5.jlearn.algorithms.dhc that return Automaton

Automaton

DHC.getResult()

Uses of Automaton in de.ls5.jlearn.algorithms.dhcmodular

Methods in de.ls5.jlearn.algorithms.dhcmodular that return Automaton

Automaton

DHCModular.getResult()

Uses of Automaton in de.ls5.jlearn.algorithms.packs

Methods in de.ls5.jlearn.algorithms.packs that return Automaton

Automaton	SelectiveExploration.completeAutomaton(Automaton sys) post-processes the selectively explored hypothesis produced by the learning algorithm
Automaton	ObservationPack.getResult()

Methods in de.ls5.jlearn.algorithms.packs with parameters of type Automaton

Automaton

SelectiveExploration.completeAutomaton(Automaton sys) post-processes the selectively explored hypothesis produced by the learning algorithm

Uses of Automaton in de.ls5.jlearn.automatons

Methods in de.ls5.jlearn.automatons that return Automaton

abstract Automaton

ExampleAutomaton.getAutomaton()

Uses of Automaton in de.ls5.jlearn.equivalenceoracles

Methods in de.ls5.jlearn.equivalenceoracles with parameters of type Automaton

void	EvolvingHypothesisRandomWalk.addHypothesis(Automaton h) Deprecated.
EquivalenceOracleOutput	CompleteSearchEquivalenceOracle.findCounterExample(Automaton a)
EquivalenceOracleOutput	RandomWalkEquivalenceOracle.findCounterExample(Automaton a)
EquivalenceOracleOutput	EvolvingHypothesisRandomWalk.findCounterExample(Automaton a) Deprecated.
EquivalenceOracleOutput	SimulatorEquivalenceOracle.findCounterExample(Automaton a)
EquivalenceOracleOutput	WMethodEquivalenceTest.findCounterExample(Automaton h)
EquivalenceOracleOutput	EquivalenceOracleSimple.findCounterExample(Automaton a)
EquivalenceOracleOutput	SimulatorEquivalenceOracleDFA.findCounterExample(Automaton a)

Constructors in de.ls5.jlearn.equivalenceoracles with parameters of type Automaton

SimulatorEquivalenceOracle(Automaton model)

SimulatorEquivalenceOracle(Automaton model, boolean minimize)

SimulatorEquivalenceOracle(Automaton model, boolean minimize, boolean incremental)

SimulatorEquivalenceOracleDFA(Automaton model)

SimulatorEquivalenceOracleDFA(Automaton model, boolean minimize)

Uses of Automaton in de.ls5.jlearn.exporter.gui

Methods in de.ls5.jlearn.exporter.gui with parameters of type Automaton

void	ExporterGui.addAutomaton(Automaton automaton)
void	ExporterGui.addAutomaton(Automaton automaton, boolean isResult)

Constructors in de.ls5.jlearn.exporter.gui with parameters of type Automaton

AutomatonPanel(Automaton automaton)

Uses of Automaton in de.ls5.jlearn.interfaces

Methods in de.ls5.jlearn.interfaces that return Automaton

Automaton	Automaton.getCopyWithRestrictedAlphabet(Alphabet alpha) Deprecated.
Automaton	State.getOwner() Return the Automaton this state is part of.
Automaton	Learner.getResult() Provides the current hypothesis as Automaton object

Methods in de.ls5.jlearn.interfaces with parameters of type Automaton

List<Word>	SplitterCreator.createSplitters(Word counterexample, Word output, Oracle oracle, Automaton hypothesis) Determine splitters that reveal diverging behavior between the learner's hypothesis and the target system.
EquivalenceOracleOutput	EquivalenceOracle.findCounterExample(Automaton a) Search a counterexample for a provided hypothesis.

Uses of Automaton in de.ls5.jlearn.oracles

Constructors in de.ls5.jlearn.oracles with parameters of type Automaton

SimulatorOracle(Automaton model)

SimulatorOracleDFA(Automaton model)

Uses of Automaton in de.ls5.jlearn.shared

Classes in de.ls5.jlearn.shared that implement Automaton

class	AnnotatedAutomaton allows access-sequences to be set manually
class	AnnotatedFSA allows access-sequences to be set manually
class	AutomatonImpl
class	FiniteStateAcceptor

Methods in de.ls5.jlearn.shared that return Automaton

Automaton	Snapshot.getAutomaton()
Automaton	AutomatonImpl.getCopyWithRestrictedAlphabet(Alphabet alpha)
Automaton	StateImpl.getOwner()

Methods in de.ls5.jlearn.shared with parameters of type Automaton

static Snapshot	Snapshot.getSnapshot(Automaton a)
static Snapshot	Snapshot.getSnapshot(Automaton a, List<State> highlights, String description)
static Snapshot	Snapshot.getSnapshot(Automaton a, State highlight, String description)
static Snapshot	Snapshot.getSnapshot(Automaton a, String description)

Constructors in de.ls5.jlearn.shared with parameters of type Automaton

AnnotatedAutomaton(Automaton m)

AnnotatedFSA(Automaton m)

StateImpl(int sigma, Automaton owner, int id)

Uses of Automaton in de.ls5.jlearn.splittercreators

Fields in de.ls5.jlearn.splittercreators declared as Automaton

protected Automaton	KearnsStyleSplitterCreator.hyp
protected Automaton	KearnsStyleDFASplitterCreator.hyp

Methods in de.ls5.jlearn.splittercreators with parameters of type Automaton

List<Word>	RivestAllSuffixesSplitterCreator.createSplitters(Word counterexample, Word output, Oracle oracle, Automaton hypothesis)
List<Word>	SplitterCreatorAllSuffixes.createSplitters(Word example, Word output, Oracle o, Automaton a)
List<Word>	HowarStyleSplitterCreator.createSplitters(Word counterexample, Word output, Oracle o, Automaton hypothesis)
List<Word>	KearnsStyleSplitterCreator.createSplitters(Word counterexample, Word output, Oracle o, Automaton hypothesis)
List<Word>	MalerStyleSplitterCreator.createSplitters(Word counterexample, Word output, Oracle o, Automaton hypothesis)
List<Word>	KearnsStyleDFASplitterCreator.createSplitters(Word counterexample, Word output, Oracle o, Automaton hypothesis)
List<Word>	ShahbazStyleSplitterCreator.createSplitters(Word counterexample, Word output, Oracle o, Automaton hypothesis)

Uses of Automaton in de.ls5.jlearn.util

Methods in de.ls5.jlearn.util that return Automaton

static Automaton	AutomatonUtil.arraysToAutomaton(int[] transitions, int[] outputs, int sigma)
static Automaton	AutomatonUtil.convertSymbolsToStrings(Automaton a)
static Automaton	AutomatonXMLUtil.fromXml(AutomatonType in, XmlSerializationHelper helper)
static Automaton	AutomatonUtil.getCopyWithoutTransitions(Automaton aut, Set<Symbol> forbiddentransitions)
static Automaton	AutomatonUtil.getCopyWithRestrictedAlphabet(Automaton aut, Alphabet alpha) Create a copy of an Automaton that only contains Symbols present in the specified Alphabet
Automaton	EquivalenceTest.getTarget()
static Automaton	AutomatonXMLUtil.importAutomaton(File f, XmlSerializationHelper helper)
static Automaton	AutomatonXMLUtil.importAutomaton(String xml, XmlSerializationHelper helper)
abstract Automaton	AutomatonTransformationUtil.mergeStates(State source, State target)
abstract Automaton	AutomatonTransformationUtil.mergeStates(Symbol input)
static Automaton	AutomatonMinimizer.minimize(Automaton in) minimize automaton.
static Automaton	AutomatonUtil.minimize(Automaton in) Deprecated.
abstract Automaton	AutomatonTransformationUtil.removeInputOutputTransitions(Map<Symbol,Symbol> transitions, boolean removeUnreachableStates)
abstract Automaton	AutomatonTransformationUtil.removeInputTransitions(Automaton _automaton, Set<Symbol> inputTransitions, boolean removeUnreachableStates) Removes all transitions that got an input that equals one of the provided inputTransitions.
static Automaton	AutomatonTransformationUtil.removeOutputTransitions(Automaton _automaton, Set<Symbol> outputTransitions, boolean removeUnreachableStates) Removes all transitions that are got an output that equals one of the provided outputTransitions.
static Automaton	AutomatonTransformationUtil.removeReflexiveTransitions(Automaton _automaton) Removes all reflexive edges from the automaton.
abstract Automaton	AutomatonTransformationUtil.removeState(State state)
abstract Automaton	AutomatonTransformationUtil.removeStateWithOutputBehavior(Symbol outputBehavior)
static Automaton	AutomatonTransformationUtil.replaceInputOutputBehavior(Automaton _automaton, Map<Symbol,Symbol> behavior)
Automaton	AutomatonMapper.transformFromLayoutGraph(de.ls5.layouter.api.model.Graph graph, Automaton t, de.ls5.layouter.api.AbstractOptions options)

Methods in de.ls5.jlearn.util with parameters of type Automaton

void	SpanningTree.addHypothesis(Automaton auto) add a new hypothesis which is to be analyzed and used to extend the spanning tree
AnnotatedAutomaton	SpanningTree.annotate(Automaton auto) annotate an automaton using the current spanning tree
static int[]	AutomatonUtil.automatonToOutputArray(Automaton a)
static int[]	AutomatonUtil.automatonToTransitionArray(Automaton a)
static Automaton	AutomatonUtil.convertSymbolsToStrings(Automaton a)
static void	AutomatonXMLUtil.exportAutomaton(Automaton a, File f, XmlSerializationHelper helper)
static String	AutomatonXMLUtil.exportAutomaton(Automaton a, XmlSerializationHelper helper)
Word	EquivalenceTest.findCounterExample(Automaton hyp)
static Word	AutomatonUtil.findCounterexample(Automaton a1, Automaton a2) will minimize the automata first
static Word	AutomatonUtil.findCounterexample(Automaton a1, Automaton a2, boolean minimize)
Word	EquivalenceTest.findCounterExampleWithoutChecks(Automaton hyp)
static Word	AutomatonUtil.findDistinguishingSuffix(Automaton a, State s1, State s2) Deprecated.
static Word	AutomatonUtil.findDistinguishingSuffix(Automaton m, Word p1, Word p2) Deprecated.
static Set<Word>	AutomatonUtil.getCharacterizingSet(Automaton a)
static Automaton	AutomatonUtil.getCopyWithoutTransitions(Automaton aut, Set<Symbol> forbiddentransitions)
static Automaton	AutomatonUtil.getCopyWithRestrictedAlphabet(Automaton aut, Alphabet alpha) Create a copy of an Automaton that only contains Symbols present in the specified Alphabet
static List<State>	AutomatonUtil.getStatesInBFSOrder(Automaton automaton) Applies a breadth-first search algorithm to retrieve all states reachable from the starting state.
static String	DotUtil.invokeGraphviz(String tool, Automaton a, String imagetype)
static Automaton	AutomatonMinimizer.minimize(Automaton in) minimize automaton.
static Automaton	AutomatonUtil.minimize(Automaton in) Deprecated.
abstract Automaton	AutomatonTransformationUtil.removeInputTransitions(Automaton _automaton, Set<Symbol> inputTransitions, boolean removeUnreachableStates) Removes all transitions that got an input that equals one of the provided inputTransitions.
static Automaton	AutomatonTransformationUtil.removeOutputTransitions(Automaton _automaton, Set<Symbol> outputTransitions, boolean removeUnreachableStates) Removes all transitions that are got an output that equals one of the provided outputTransitions.
static Automaton	AutomatonTransformationUtil.removeReflexiveTransitions(Automaton _automaton) Removes all reflexive edges from the automaton.
static Automaton	AutomatonTransformationUtil.replaceInputOutputBehavior(Automaton _automaton, Map<Symbol,Symbol> behavior)
static boolean	AutomatonUtil.testEquivalence(Automaton t1, Automaton t2) will minimize the automata first
static boolean	AutomatonUtil.testEquivalence(Automaton t1, Automaton t2, boolean minimize)
static Word	AutomatonUtil.testEquivalenceLinear(Automaton m1, Automaton m2)
static AutomatonType	AutomatonXMLUtil.toXml(Automaton in, ObjectFactory factory, XmlSerializationHelper helper)
Automaton	AutomatonMapper.transformFromLayoutGraph(de.ls5.layouter.api.model.Graph graph, Automaton t, de.ls5.layouter.api.AbstractOptions options)
de.ls5.layouter.api.model.Graph	AutomatonMapper.transformToLayoutGraph(Automaton automaton)
static void	DotUtil.writeDot(Automaton a, Appendable out)
static void	DotUtil.writeDot(Automaton a, Appendable out, int realsigma)
static void	DotUtil.writeDot(Automaton a, Appendable out, int realsigma, List<State> highlights, Set<Symbol> hide, String description)
static void	DotUtil.writeDot(Automaton a, Appendable out, int realsigma, List<State> highlights, String description)
static void	DotUtil.writeDot(Automaton a, File outfile)
static void	DotUtil.writeDot(Automaton a, Set<Symbol> hideTransitionsWithOutput, File outfile)

Constructors in de.ls5.jlearn.util with parameters of type Automaton

EquivalenceTest(Automaton target)

StateSignature(Automaton sys, State s)