@ParametersAreNonnullByDefault public abstract class AbstractBlueFringePTAState<SP,TP,S extends AbstractBlueFringePTAState<SP,TP,S>> extends AbstractBasePTAState<SP,TP,S> implements Comparable<S>
Modifier and Type | Field and Description |
---|---|
protected int[] |
access |
protected Color |
color |
protected boolean |
isCopy |
protected S |
parent |
protected int |
parentInput |
id, property, successors, transProperties
Constructor and Description |
---|
AbstractBlueFringePTAState() |
Modifier and Type | Method and 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) |
copy, createState, forEachSucc, getOrCreateSuccessor, getStateProperty, getSuccessor, getTransProperty, mergeStateProperty, mergeTransitionProperty, successors, tryMergeStateProperty, tryMergeTransitionProperty
protected boolean isCopy
protected int parentInput
@Nullable protected int[] access
public S copy()
copy
in class AbstractBasePTAState<SP,TP,S extends AbstractBlueFringePTAState<SP,TP,S>>
public void setSuccessor(int index, S successor, int alphabetSize)
setSuccessor
in class AbstractBasePTAState<SP,TP,S extends AbstractBlueFringePTAState<SP,TP,S>>
protected S createSuccessor(int index)
createSuccessor
in class AbstractBasePTAState<SP,TP,S extends AbstractBlueFringePTAState<SP,TP,S>>
@Nonnull public PTATransition<S> makeBlue()
public boolean isWhite()
public boolean isRed()
public void makeRed(int id)
public boolean isBlue()
public int compareTo(S other)
compareTo
in interface Comparable<S extends AbstractBlueFringePTAState<SP,TP,S>>
public int lexCompareTo(S other)
public void setForeignSuccessor(int index, S successor, int alphabetSize)
Copyright © 2018. All rights reserved.