Package de.learnlib.datastructure.pta

Class RedBlueMerge<S extends AbstractBlueFringePTAState<S,SP,TP>,SP,TP>

java.lang.Object

de.learnlib.datastructure.pta.RedBlueMerge<S,SP,TP>

public class RedBlueMerge<S extends AbstractBlueFringePTAState<S,SP,TP>,SP,TP>
extends Object

Constructor Summary

Constructors

Constructor	Description
RedBlueMerge(AbstractBlueFringePTA<S,SP,TP> pta, S qr, S qb)

Method Summary

Modifier and Type	Method	Description
void	apply(AbstractBlueFringePTA<S,SP,TP> pta, Consumer<? super PTATransition<S>> newFrontierConsumer)
S	getBlueState()
S	getRedState()
boolean	merge()
UniversalDeterministicAutomaton<S,Integer,?,SP,TP>	toMergedAutomaton()

Methods inherited from class java.lang.Object

clone, equals, finalize, getClass, hashCode, notify, notifyAll, toString, wait, wait, wait

Constructor Detail

RedBlueMerge

public RedBlueMerge(AbstractBlueFringePTA<S,SP,TP> pta,
                    S qr,
                    S qb)

Method Detail

getRedState

public S getRedState()

getBlueState

public S getBlueState()

merge

public boolean merge()

apply

public void apply(AbstractBlueFringePTA<S,SP,TP> pta,
                  Consumer<? super PTATransition<S>> newFrontierConsumer)

toMergedAutomaton

public UniversalDeterministicAutomaton<S,Integer,?,SP,TP> toMergedAutomaton()