de.learnlib.datastructure.pta.pta

Class BlueFringePTAState<SP,TP>

java.lang.Object

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

de.learnlib.datastructure.pta.pta.AbstractBlueFringePTAState<SP,TP,BlueFringePTAState<SP,TP>>

de.learnlib.datastructure.pta.pta.BlueFringePTAState<SP,TP>

All Implemented Interfaces:

Cloneable, Comparable<BlueFringePTAState<SP,TP>>

public class BlueFringePTAState<SP,TP>
extends AbstractBlueFringePTAState<SP,TP,BlueFringePTAState<SP,TP>>

Field Summary

Fields inherited from class de.learnlib.datastructure.pta.pta.AbstractBlueFringePTAState

access, color, isCopy, parent, parentInput

Fields inherited from class de.learnlib.datastructure.pta.pta.AbstractBasePTAState

id, property, successors, transProperties

Constructor Summary

Constructors

Constructor and Description
BlueFringePTAState()

Method Summary

Modifier and Type	Method and Description
protected BlueFringePTAState<SP,TP>	createState()

Methods inherited from class de.learnlib.datastructure.pta.pta.AbstractBlueFringePTAState

compareTo, copy, createSuccessor, getColor, isBlue, isRed, isWhite, lexCompareTo, makeBlue, makeRed, setForeignSuccessor, setSuccessor

Methods inherited from class de.learnlib.datastructure.pta.pta.AbstractBasePTAState

copy, forEachSucc, getOrCreateSuccessor, getStateProperty, getSuccessor, getTransProperty, mergeStateProperty, mergeTransitionProperty, successors, tryMergeStateProperty, tryMergeTransitionProperty

Methods inherited from class java.lang.Object

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

Constructor Detail

BlueFringePTAState

public BlueFringePTAState()

Method Detail

createState

protected BlueFringePTAState<SP,TP> createState()

Specified by:

createState in class AbstractBasePTAState<SP,TP,BlueFringePTAState<SP,TP>>