DFA (SootUp 1.3.1-SNAPSHOT API)

java.lang.Object

qilin.pta.toolkits.mahjong.automata.DFA

public class DFA extends Object

Author:: Tian Tan, Yue Li
refactered by Dongjie He.

Constructor Summary

Constructors

Constructor

Description

DFA(DFAState q0)
Method Summary

Modifier and Type

Method

Description

Set<DFAState>

getAllStates()

static DFAState

getDeadState()

DFAState

getStartState()

Set<DFAState>

getStates()

Set<Type>

outputOf(DFAState s)

Methods inherited from class java.lang.Object
clone, equals, finalize, getClass, hashCode, notify, notifyAll, toString, wait, wait, wait

Constructor Details
- DFA
  
  public DFA(DFAState q0)
Method Details
- getStates
  
  public Set<DFAState> getStates()
  
  Returns:
  
  Set of states. Does not contains dead state.
- getAllStates
  
  public Set<DFAState> getAllStates()
  
  Returns:
  
  Set of all states including dead state.
- getStartState
  
  public DFAState getStartState()
- getDeadState
  
  public static DFAState getDeadState()
- outputOf
  
  public Set<Type> outputOf(DFAState s)