BlueFringePTAState (LearnLib 0.17.0 API)

java.lang.Object
- de.learnlib.datastructure.pta.AbstractBasePTAState<S,SP,TP>
- - de.learnlib.datastructure.pta.AbstractBlueFringePTAState<BlueFringePTAState<SP,TP>,SP,TP>
  - - de.learnlib.datastructure.pta.BlueFringePTAState<SP,TP>

All Implemented Interfaces:: Cloneable, Comparable<BlueFringePTAState<SP,TP>>

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

- Field Summary
  - Fields inherited from class de.learnlib.datastructure.pta.AbstractBlueFringePTAState
    access, color, isCopy, parent, parentInput
  - Fields inherited from class de.learnlib.datastructure.pta.AbstractBasePTAState
    id, property, successors, transProperties
- Constructor Summary
  
  Constructors
  Constructor Description
  
  BlueFringePTAState()
- Method Summary
  
  All Methods Instance Methods Concrete Methods
  Modifier and Type Method Description
  
  protected BlueFringePTAState<SP,TP> createState()
  - Methods inherited from class de.learnlib.datastructure.pta.AbstractBlueFringePTAState
    compareTo, copy, createSuccessor, getColor, isBlue, isRed, isWhite, lexCompareTo, makeBlue, makeRed, setForeignSuccessor, setSuccessor
  - Methods inherited from class de.learnlib.datastructure.pta.AbstractBasePTAState
    copy, forEachSucc, getOrCreateSuccessor, getProperty, getStateProperty, getSuccessor, getTransProperty, mergeStateProperty, mergeTransitionProperty, 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<BlueFringePTAState<SP,TP>,SP,TP>