Package | Description |
---|---|
de.learnlib.datastructure.pta.pta |
Modifier and Type | Class and Description |
---|---|
class |
BlueFringePTA<SP,TP> |
Modifier and Type | Method and Description |
---|---|
void |
RedBlueMerge.apply(AbstractBlueFringePTA<SP,TP,S> pta,
Consumer<? super PTATransition<S>> newFrontierConsumer) |
Constructor and Description |
---|
RedBlueMerge(AbstractBlueFringePTA<SP,TP,S> pta,
S qr,
S qb) |
Copyright © 2018. All rights reserved.