Package | Description |
---|---|
de.learnlib.datastructure.pta.bluefringe | |
de.learnlib.datastructure.pta.pta |
Modifier and Type | Method and Description |
---|---|
<S extends AbstractBlueFringePTAState<?,?,S>> |
ProcessingOrder.createWorklist()
Creates a worklist for managing the set of blue states in the RPNI algorithm.
|
Modifier and Type | Method and Description |
---|---|
PTATransition<S> |
BasePTA.getTransition(S state,
Integer input) |
PTATransition<S> |
AbstractBlueFringePTAState.makeBlue() |
Modifier and Type | Method and Description |
---|---|
<I> net.automatalib.graphs.Graph<S,PTATransition<S>> |
BasePTA.graphView(net.automatalib.words.Alphabet<I> alphabet) |
Modifier and Type | Method and Description |
---|---|
S |
BasePTA.getSuccessor(PTATransition<S> transition) |
TP |
BasePTA.getTransitionProperty(PTATransition<S> transition) |
Modifier and Type | Method and Description |
---|---|
void |
RedBlueMerge.apply(AbstractBlueFringePTA<SP,TP,S> pta,
Consumer<? super PTATransition<S>> newFrontierConsumer) |
void |
AbstractBlueFringePTA.init(Consumer<? super PTATransition<S>> newBlue) |
void |
AbstractBlueFringePTA.promote(S qb,
Consumer<? super PTATransition<S>> newBlue) |
Copyright © 2018. All rights reserved.