qilin.pta.toolkits.mahjong.automata

Class NFA

java.lang.Object

qilin.pta.toolkits.mahjong.automata.NFA

public class NFA
extends Object

Author:

Tian Tan, Yue Li

Constructor Summary

Constructors

Constructor and Description
NFA(AllocNode q0, FieldPointstoGraph fpg)

Method Summary

Modifier and Type	Method and Description
AllocNode	getDeadState()
AllocNode	getStartState()
Set<AllocNode>	getStates() This method on-the-fly computes set of states.
boolean	isDeadState(AllocNode obj)
Set<AllocNode>	nextStates(AllocNode obj, SparkField f)
Set<SparkField>	outEdgesOf(AllocNode obj)
Type	outputOf(AllocNode obj)

Methods inherited from class java.lang.Object

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

Constructor Detail

NFA

public NFA(AllocNode q0,
           FieldPointstoGraph fpg)

Method Detail

getStates

public Set<AllocNode> getStates()

This method on-the-fly computes set of states.

Returns:

Set of states. Does not contains dead state.

getStartState

public AllocNode getStartState()

getDeadState

public AllocNode getDeadState()

nextStates

public Set<AllocNode> nextStates(AllocNode obj,
                                 SparkField f)

isDeadState

public boolean isDeadState(AllocNode obj)

outEdgesOf

public Set<SparkField> outEdgesOf(AllocNode obj)

outputOf

public Type outputOf(AllocNode obj)