Module de.learnlib.datastructure

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>

Note: this class has a natural ordering that is inconsistent with equals.

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

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

Methods inherited from class java.lang.Object

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

Field Details

isCopy

protected boolean isCopy

color

protected Color color

parent

protected @Nullable S extends AbstractBlueFringePTAState<S,SP,TP> parent

parentInput

protected int parentInput

access

protected int @Nullable [] access

Constructor Details

AbstractBlueFringePTAState

public AbstractBlueFringePTAState()

Method Details

getColor

public Color getColor()

copy

public S copy()

Overrides:

copy in class AbstractBasePTAState<S extends AbstractBlueFringePTAState<S,SP,TP>,SP,TP>

setSuccessor

public void setSuccessor(int index,
 S successor,
 int alphabetSize)

Overrides:

setSuccessor in class AbstractBasePTAState<S extends AbstractBlueFringePTAState<S,SP,TP>,SP,TP>

createSuccessor

protected S createSuccessor(int index)

Overrides:

createSuccessor in class AbstractBasePTAState<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 interface Comparable<S extends AbstractBlueFringePTAState<S,SP,TP>>

lexCompareTo

public int lexCompareTo(S other)

setForeignSuccessor

public void setForeignSuccessor(int index,
 S successor,
 int alphabetSize)