Package org.apache.iotdb.commons.path.fa.dfa.graph

Class DFAGraph

java.lang.Object

org.apache.iotdb.commons.path.fa.dfa.graph.DFAGraph

public class DFAGraph
extends java.lang.Object

DFA graph for given path pattern. State 0 is initial state. Run PatternDFATest#printFASketch for more detail.

Constructor Summary

Constructors

Constructor	Description
DFAGraph(NFAGraph nfaGraph, java.util.Collection<IFATransition> transitions)

Method Summary

Modifier and Type	Method	Description
IFAState	getInitialState()
IFAState	getNextState(IFAState currentState, IFATransition transition)
java.util.Map<java.lang.String,IFATransition>	getPreciseMatchTransition(IFAState state, java.util.Collection<IFATransition> transitions)
IFAState	getState(int index)
int	getStateSize()
java.util.List<IFATransition>	getTransition(IFAState state, java.util.Collection<IFATransition> transitionList)
void	print(java.util.Map<java.lang.String,IFATransition> transitionMap)

Methods inherited from class java.lang.Object

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

Constructor Detail

DFAGraph

public DFAGraph(NFAGraph nfaGraph,
                java.util.Collection<IFATransition> transitions)

Method Detail

print

public void print(java.util.Map<java.lang.String,IFATransition> transitionMap)

getPreciseMatchTransition

public java.util.Map<java.lang.String,IFATransition> getPreciseMatchTransition(IFAState state,
                                                                                     java.util.Collection<IFATransition> transitions)

getTransition

public java.util.List<IFATransition> getTransition(IFAState state,
                                                   java.util.Collection<IFATransition> transitionList)

getNextState

public IFAState getNextState(IFAState currentState,
                             IFATransition transition)

getInitialState

public IFAState getInitialState()

getStateSize

public int getStateSize()

getState

public IFAState getState(int index)