public abstract class AbstractBasePTAState<SP,TP,S extends AbstractBasePTAState<SP,TP,S>> extends Object implements Cloneable
Modifier and Type | Field and Description |
---|---|
protected int |
id |
protected SP |
property |
protected net.automatalib.commons.util.array.RichArray<S> |
successors |
protected net.automatalib.commons.util.array.RichArray<TP> |
transProperties |
Constructor and Description |
---|
AbstractBasePTAState() |
Modifier and Type | Method and Description |
---|---|
S |
copy() |
S |
copy(net.automatalib.commons.util.array.RichArray<TP> newTPs) |
protected abstract S |
createState() |
protected S |
createSuccessor(int index) |
void |
forEachSucc(Consumer<? super S> cons) |
S |
getOrCreateSuccessor(int index,
int alphabetSize) |
SP |
getStateProperty() |
S |
getSuccessor(int index) |
TP |
getTransProperty(int index) |
void |
mergeStateProperty(SP newSP) |
void |
mergeTransitionProperty(int index,
int alphabetSize,
TP newTP) |
void |
setSuccessor(int index,
S succ,
int alphabetSize) |
Stream<S> |
successors() |
boolean |
tryMergeStateProperty(SP newSP) |
boolean |
tryMergeTransitionProperty(int index,
int alphabetSize,
TP newTP) |
protected SP property
protected net.automatalib.commons.util.array.RichArray<TP> transProperties
protected net.automatalib.commons.util.array.RichArray<S extends AbstractBasePTAState<SP,TP,S>> successors
protected int id
public SP getStateProperty()
public TP getTransProperty(int index)
public S copy()
public S getSuccessor(int index)
public void setSuccessor(int index, S succ, int alphabetSize)
public S getOrCreateSuccessor(int index, int alphabetSize)
protected S createSuccessor(int index)
protected abstract S createState()
public void mergeTransitionProperty(int index, int alphabetSize, TP newTP)
public boolean tryMergeTransitionProperty(int index, int alphabetSize, TP newTP)
public void mergeStateProperty(SP newSP)
public boolean tryMergeStateProperty(SP newSP)
Copyright © 2018. All rights reserved.