public abstract class AbstractIncrementalDFADAGBuilder<I> extends AbstractIncrementalDFABuilder<I>
Modifier and Type | Class and Description |
---|---|
class |
AbstractIncrementalDFADAGBuilder.GraphView |
class |
AbstractIncrementalDFADAGBuilder.TransitionSystemView |
AbstractIncrementalDFABuilder.AbstractGraphView<I,N,E>, AbstractIncrementalDFABuilder.AbstractTransitionSystemView<S,I,T>
Modifier and Type | Field and Description |
---|---|
protected net.automatalib.incremental.dfa.dag.State |
init |
protected Map<net.automatalib.incremental.dfa.dag.StateSignature,net.automatalib.incremental.dfa.dag.State> |
register |
protected net.automatalib.incremental.dfa.dag.State |
sink |
alphabetSize, inputAlphabet
Constructor and Description |
---|
AbstractIncrementalDFADAGBuilder(Alphabet<I> inputAlphabet) |
Modifier and Type | Method and Description |
---|---|
AbstractIncrementalDFADAGBuilder.GraphView |
asGraph()
Retrieves a graph view of the current state of the construction.
|
AbstractIncrementalDFADAGBuilder.TransitionSystemView |
asTransitionSystem()
Retrieves a transition system view of the current state of the construction.
|
protected net.automatalib.incremental.dfa.dag.State |
clone(net.automatalib.incremental.dfa.dag.State other,
Acceptance acc)
Clones a state, changing the signature.
|
protected net.automatalib.incremental.dfa.dag.State |
clone(net.automatalib.incremental.dfa.dag.State other,
Acceptance acc,
int idx,
net.automatalib.incremental.dfa.dag.State succ) |
protected net.automatalib.incremental.dfa.dag.State |
clone(net.automatalib.incremental.dfa.dag.State other,
int idx,
net.automatalib.incremental.dfa.dag.State succ)
Clones a state, changing the signature.
|
Word<I> |
findSeparatingWord(DFA<?,I> target,
Collection<? extends I> inputs,
boolean omitUndefined)
Checks the current state of the construction against a given target model,
and returns a word exposing a difference if there is one.
|
protected abstract net.automatalib.incremental.dfa.dag.State |
getState(Word<? extends I> word) |
protected net.automatalib.incremental.dfa.dag.State |
hiddenClone(net.automatalib.incremental.dfa.dag.State other) |
protected void |
hide(net.automatalib.incremental.dfa.dag.State state) |
protected net.automatalib.incremental.dfa.dag.State |
replaceOrRegister(net.automatalib.incremental.dfa.dag.State state)
Returns the canonical state for the given state's signature, or registers the
state as canonical if no state with that signature exists.
|
protected net.automatalib.incremental.dfa.dag.State |
replaceOrRegister(net.automatalib.incremental.dfa.dag.StateSignature sig)
Returns (and possibly creates) the canonical state for the given signature.
|
protected net.automatalib.incremental.dfa.dag.State |
unhide(net.automatalib.incremental.dfa.dag.State state,
Acceptance acc,
int idx,
net.automatalib.incremental.dfa.dag.State succ) |
protected net.automatalib.incremental.dfa.dag.State |
unhide(net.automatalib.incremental.dfa.dag.State state,
int idx,
net.automatalib.incremental.dfa.dag.State succ) |
protected void |
updateInitSignature(Acceptance acc) |
protected void |
updateInitSignature(Acceptance acc,
int idx,
net.automatalib.incremental.dfa.dag.State succ) |
protected void |
updateInitSignature(int idx,
net.automatalib.incremental.dfa.dag.State succ) |
protected net.automatalib.incremental.dfa.dag.State |
updateSignature(net.automatalib.incremental.dfa.dag.State state,
Acceptance acc)
Updates the signature for a given state.
|
protected net.automatalib.incremental.dfa.dag.State |
updateSignature(net.automatalib.incremental.dfa.dag.State state,
Acceptance acc,
int idx,
net.automatalib.incremental.dfa.dag.State succ) |
protected net.automatalib.incremental.dfa.dag.State |
updateSignature(net.automatalib.incremental.dfa.dag.State state,
int idx,
net.automatalib.incremental.dfa.dag.State succ)
Updates the signature for a given state.
|
getInputAlphabet, hasDefinitiveInformation, insert
clone, equals, finalize, getClass, hashCode, notify, notifyAll, toString, wait, wait, wait
insert, lookup
protected final Map<net.automatalib.incremental.dfa.dag.StateSignature,net.automatalib.incremental.dfa.dag.State> register
protected final net.automatalib.incremental.dfa.dag.State init
protected net.automatalib.incremental.dfa.dag.State sink
public Word<I> findSeparatingWord(DFA<?,I> target, Collection<? extends I> inputs, boolean omitUndefined)
IncrementalConstruction
target
- the target automaton modelinputs
- the set of input symbols to consideromitUndefined
- if this is set to true, then undefined transitions in
the target model will be interpreted as "unspecified/don't know" and omitted
in the equivalence test. Otherwise, they will be interpreted in the usual manner
(e.g., non-accepting sink in case of DFAs).protected abstract net.automatalib.incremental.dfa.dag.State getState(Word<? extends I> word)
protected net.automatalib.incremental.dfa.dag.State replaceOrRegister(net.automatalib.incremental.dfa.dag.StateSignature sig)
sig
- the signatureprotected net.automatalib.incremental.dfa.dag.State replaceOrRegister(net.automatalib.incremental.dfa.dag.State state)
state
- the stateprotected void updateInitSignature(Acceptance acc)
protected net.automatalib.incremental.dfa.dag.State updateSignature(net.automatalib.incremental.dfa.dag.State state, Acceptance acc)
state
- the stateacc
- the new acceptance valueprotected void updateInitSignature(int idx, net.automatalib.incremental.dfa.dag.State succ)
protected void updateInitSignature(Acceptance acc, int idx, net.automatalib.incremental.dfa.dag.State succ)
protected net.automatalib.incremental.dfa.dag.State updateSignature(net.automatalib.incremental.dfa.dag.State state, int idx, net.automatalib.incremental.dfa.dag.State succ)
state
- the stateidx
- the index of the transition to changesucc
- the new successor for the above indexprotected net.automatalib.incremental.dfa.dag.State updateSignature(net.automatalib.incremental.dfa.dag.State state, Acceptance acc, int idx, net.automatalib.incremental.dfa.dag.State succ)
protected net.automatalib.incremental.dfa.dag.State clone(net.automatalib.incremental.dfa.dag.State other, Acceptance acc)
other
- the state to cloneacc
- the new acceptance valueprotected net.automatalib.incremental.dfa.dag.State hiddenClone(net.automatalib.incremental.dfa.dag.State other)
protected void hide(net.automatalib.incremental.dfa.dag.State state)
protected net.automatalib.incremental.dfa.dag.State unhide(net.automatalib.incremental.dfa.dag.State state, Acceptance acc, int idx, net.automatalib.incremental.dfa.dag.State succ)
protected net.automatalib.incremental.dfa.dag.State unhide(net.automatalib.incremental.dfa.dag.State state, int idx, net.automatalib.incremental.dfa.dag.State succ)
protected net.automatalib.incremental.dfa.dag.State clone(net.automatalib.incremental.dfa.dag.State other, int idx, net.automatalib.incremental.dfa.dag.State succ)
other
- the state to cloneidx
- the index of the transition to changesucc
- the new successor stateprotected net.automatalib.incremental.dfa.dag.State clone(net.automatalib.incremental.dfa.dag.State other, Acceptance acc, int idx, net.automatalib.incremental.dfa.dag.State succ)
public AbstractIncrementalDFADAGBuilder.GraphView asGraph()
IncrementalConstruction
public AbstractIncrementalDFADAGBuilder.TransitionSystemView asTransitionSystem()
IncrementalConstruction
Copyright © 2015. All rights reserved.