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 void updateInitSignature(Acceptance acc)
protected 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, Acceptance acc)
state
- the stateacc
- the new acceptance valueprotected 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 replaceOrRegister(net.automatalib.incremental.dfa.dag.State state)
state
- the stateprotected net.automatalib.incremental.dfa.dag.State replaceOrRegister(net.automatalib.incremental.dfa.dag.StateSignature sig)
sig
- the signatureprotected 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, Acceptance acc)
other
- the state to cloneacc
- the new acceptance valueprotected 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 © 2018. All rights reserved.