org.processmining.projectedrecallandprecision.helperclasses.automata.operations

Class StatePairEdgesIterator

java.lang.Object

org.processmining.projectedrecallandprecision.helperclasses.automata.operations.StatePairEdgesIterator

public class StatePairEdgesIterator
extends java.lang.Object

Nested Class Summary

Nested Classes

Modifier and Type	Class and Description
static class	StatePairEdgesIterator.MoveType

Constructor Summary

Constructors

Constructor and Description
StatePairEdgesIterator(DFA automatonA, DFA automatonB)

Method Summary

Modifier and Type	Method and Description
short	getActivity()
int	getTargetA()
int	getTargetB()
boolean	hasNext()
StatePairEdgesIterator.MoveType	next()
void	reset(StatePair pair)

Methods inherited from class java.lang.Object

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

Constructor Detail

StatePairEdgesIterator

public StatePairEdgesIterator(DFA automatonA,
                              DFA automatonB)

Method Detail

reset

public void reset(StatePair pair)

hasNext

public boolean hasNext()

next

public StatePairEdgesIterator.MoveType next()

getTargetA

public int getTargetA()

getTargetB

public int getTargetB()

getActivity

public short getActivity()