|
||||||||||
| PREV NEXT | FRAMES NO FRAMES | |||||||||
Symbol to the internal Alphabet of this
Learner.
State and return it.
Word to the internal set of suffixes of this
Learner.
Symbol to this alphabet.
Symbol to this alphabet at the specified index.
Base64.InputStream will read data from another
java.io.InputStream, given in the constructor,
and encode/decode to/from Base64 notation on the fly.Base64.InputStream in DECODE mode.
Base64.InputStream in
either ENCODE or DECODE mode.
Base64.OutputStream will write data to another
java.io.OutputStream, given in the constructor,
and encode/decode to/from Base64 notation on the fly.Base64.OutputStream in ENCODE mode.
Base64.OutputStream in
either ENCODE or DECODE mode.
JAXBElement<AutomatonType>}
AutomatonType
StateType
TransitionType
WordType
raw ByteBuffer,
writing it to the encoded ByteBuffer.
raw ByteBuffer,
writing it to the encoded CharBuffer.
Base64.encodeBytes(byte[]) but returns
a byte array instead of instantiating a String.
Base64.encodeBytes(byte[], int, int, int) but returns
a byte array instead of instantiating a String.
findCounterExample method of EquivalenceOracle
if a counterexample was found.Alphabet of this automaton
Symbol in this alphabet.
Automaton this state is part of.
Automaton object
Alphabet this Learner
uses to construct a hypothesis.
Symbol with the given index in this alphabet.
Symbol objects in this alphabet.
Symbol should carry an arbitrary Object, e.g.
Symbol of the input-Alphabet a transition
exists.
SimpleFormatter.PrefixClosureFilter.rejectedSymbols an answer is constructed.
PrefixClosureFilter.rejectedSymbols)
with a special defines output.Base64.InputStream.read() repeatedly until the end of stream
is reached or len bytes are read.
inputTransitions.
outputTransitions.
Alphabet used for construction of the hypothesis
Oracle to be called if a cache-miss is encountered
Oracle to be queried when searching for counterexamples
Oracle to be queried during the learning process
SplitterCreator, which encapsulates logic for
dealing with counterexamples (logic that, e.g., determines a suffix of
the counterexample that witnesses unequality of states, thus "splitting"
a state in the hypothesis).
Symbol.
AnnotatedAutomaton instead of plain
Automaton.Automaton.List of Symbol
objects as user object.Word is an ordered set of Symbol objects.Base64.OutputStream.write(int) repeatedly until len
bytes are written.
|
||||||||||
| PREV NEXT | FRAMES NO FRAMES | |||||||||