public class StatePairEdgesIterator
extends java.lang.Object
Modifier and Type | Class and Description |
---|---|
static class |
StatePairEdgesIterator.MoveType |
Constructor and Description |
---|
StatePairEdgesIterator(DFA automatonA,
DFA automatonB) |
Modifier and Type | Method and Description |
---|---|
short |
getActivity() |
int |
getTargetA() |
int |
getTargetB() |
boolean |
hasNext() |
StatePairEdgesIterator.MoveType |
next() |
void |
reset(StatePair pair) |
public void reset(StatePair pair)
public boolean hasNext()
public StatePairEdgesIterator.MoveType next()
public int getTargetA()
public int getTargetB()
public short getActivity()