public class RedBlueMerge<SP,TP,S extends AbstractBlueFringePTAState<SP,TP,S>> extends Object
Constructor and Description |
---|
RedBlueMerge(AbstractBlueFringePTA<SP,TP,S> pta,
S qr,
S qb) |
Modifier and Type | Method and Description |
---|---|
void |
apply(AbstractBlueFringePTA<SP,TP,S> pta,
Consumer<? super PTATransition<S>> newFrontierConsumer) |
S |
getBlueState() |
S |
getRedState() |
boolean |
merge() |
net.automatalib.automata.UniversalDeterministicAutomaton<S,Integer,?,SP,TP> |
toMergedAutomaton() |
public S getRedState()
public S getBlueState()
public boolean merge()
public void apply(AbstractBlueFringePTA<SP,TP,S> pta, Consumer<? super PTATransition<S>> newFrontierConsumer)
Copyright © 2018. All rights reserved.