Package de.learnlib.datastructure.pta
Class AbstractBlueFringePTAState<S extends AbstractBlueFringePTAState<S,SP,TP>,SP,TP>
- java.lang.Object
-
- de.learnlib.datastructure.pta.AbstractBasePTAState<S,SP,TP>
-
- de.learnlib.datastructure.pta.AbstractBlueFringePTAState<S,SP,TP>
-
- All Implemented Interfaces:
Cloneable
,Comparable<S>
- Direct Known Subclasses:
BlueFringePTAState
public abstract class AbstractBlueFringePTAState<S extends AbstractBlueFringePTAState<S,SP,TP>,SP,TP> extends AbstractBasePTAState<S,SP,TP> implements Comparable<S>
-
-
Field Summary
Fields Modifier and Type Field Description protected int @Nullable []
access
protected Color
color
protected boolean
isCopy
protected @Nullable S
parent
protected int
parentInput
-
Fields inherited from class de.learnlib.datastructure.pta.AbstractBasePTAState
id, property, successors, transProperties
-
-
Constructor Summary
Constructors Constructor Description AbstractBlueFringePTAState()
-
Method Summary
All Methods Instance Methods Concrete Methods Modifier and Type Method Description int
compareTo(S other)
S
copy()
protected S
createSuccessor(int index)
Color
getColor()
boolean
isBlue()
boolean
isRed()
boolean
isWhite()
int
lexCompareTo(S other)
PTATransition<S>
makeBlue()
void
makeRed(int id)
void
setForeignSuccessor(int index, S successor, int alphabetSize)
void
setSuccessor(int index, S successor, int alphabetSize)
-
Methods inherited from class de.learnlib.datastructure.pta.AbstractBasePTAState
copy, createState, forEachSucc, getOrCreateSuccessor, getProperty, getStateProperty, getSuccessor, getTransProperty, mergeStateProperty, mergeTransitionProperty, tryMergeStateProperty, tryMergeTransitionProperty
-
-
-
-
Method Detail
-
getColor
public Color getColor()
-
copy
public S copy()
- Overrides:
copy
in classAbstractBasePTAState<S extends AbstractBlueFringePTAState<S,SP,TP>,SP,TP>
-
setSuccessor
public void setSuccessor(int index, S successor, int alphabetSize)
- Overrides:
setSuccessor
in classAbstractBasePTAState<S extends AbstractBlueFringePTAState<S,SP,TP>,SP,TP>
-
createSuccessor
protected S createSuccessor(int index)
- Overrides:
createSuccessor
in classAbstractBasePTAState<S extends AbstractBlueFringePTAState<S,SP,TP>,SP,TP>
-
makeBlue
public PTATransition<S> makeBlue()
-
isWhite
public boolean isWhite()
-
isRed
public boolean isRed()
-
makeRed
public void makeRed(int id)
-
isBlue
public boolean isBlue()
-
compareTo
public int compareTo(S other)
- Specified by:
compareTo
in interfaceComparable<S extends AbstractBlueFringePTAState<S,SP,TP>>
-
lexCompareTo
public int lexCompareTo(S other)
-
setForeignSuccessor
public void setForeignSuccessor(int index, S successor, int alphabetSize)
-
-