Package de.learnlib.datastructure.pta

Class AbstractBasePTAState<S extends AbstractBasePTAState<S,SP,TP>,SP,TP>

java.lang.Object

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

All Implemented Interfaces:

Cloneable

Direct Known Subclasses:

AbstractBlueFringePTAState

public abstract class AbstractBasePTAState<S extends AbstractBasePTAState<S,SP,TP>,SP,TP>
extends Object
implements Cloneable

Field Summary

Fields

Modifier and Type	Field	Description
protected int	id
protected SP	property
protected @MonotonicNonNull ArrayStorage<S>	successors
protected @MonotonicNonNull ArrayStorage<TP>	transProperties

Constructor Summary

Constructors

Constructor	Description
AbstractBasePTAState()

Method Summary

Modifier and Type	Method	Description
S	copy()
S	copy(@Nullable ArrayStorage<TP> newTPs)
protected abstract S	createState()
protected S	createSuccessor(int index)
void	forEachSucc(Consumer<? super S> cons)
S	getOrCreateSuccessor(int index, int alphabetSize)
SP	getProperty()
SP	getStateProperty()
@Nullable S	getSuccessor(int index)
@Nullable TP	getTransProperty(int index)
void	mergeStateProperty(SP newSP)
void	mergeTransitionProperty(int index, int alphabetSize, TP newTP)
void	setSuccessor(int index, S succ, int alphabetSize)
boolean	tryMergeStateProperty(SP newSP)
boolean	tryMergeTransitionProperty(int index, int alphabetSize, TP newTP)

Methods inherited from class java.lang.Object

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

Field Detail

property

protected SP property

transProperties

protected @MonotonicNonNull ArrayStorage<TP> transProperties

successors

protected @MonotonicNonNull ArrayStorage<S extends AbstractBasePTAState<S,SP,TP>> successors

id

protected int id

Constructor Detail

AbstractBasePTAState

public AbstractBasePTAState()

Method Detail

getStateProperty

public SP getStateProperty()

getTransProperty

public @Nullable TP getTransProperty(int index)

copy

public S copy()

copy

public S copy(@Nullable ArrayStorage<TP> newTPs)

getSuccessor

public @Nullable S getSuccessor(int index)

setSuccessor

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

getOrCreateSuccessor

public S getOrCreateSuccessor(int index,
                              int alphabetSize)

createSuccessor

protected S createSuccessor(int index)

createState

protected abstract S createState()

forEachSucc

public void forEachSucc(Consumer<? super S> cons)

mergeTransitionProperty

public void mergeTransitionProperty(int index,
                                    int alphabetSize,
                                    TP newTP)

tryMergeTransitionProperty

public boolean tryMergeTransitionProperty(int index,
                                          int alphabetSize,
                                          TP newTP)

mergeStateProperty

public void mergeStateProperty(SP newSP)

tryMergeStateProperty

public boolean tryMergeStateProperty(SP newSP)

getProperty

public SP getProperty()