Module de.learnlib.datastructure

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()	Returns an automaton-based view of the merge.

Methods inherited from class java.lang.Object

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

Constructor Details

RedBlueMerge

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

Method Details

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()

Returns an automaton-based view of the merge. If the merge was not yet tried, this view is equal to the unmodified PTA.

Returns:

the automaton-based view of this merge