Uses of Class
qilin.pta.toolkits.common.FieldPointstoGraph

Packages that use FieldPointstoGraph

Package	Description
qilin.pta.toolkits.mahjong
qilin.pta.toolkits.mahjong.automata

Uses of FieldPointstoGraph in qilin.pta.toolkits.mahjong

Methods in qilin.pta.toolkits.mahjong that return FieldPointstoGraph

Modifier and Type	Method	Description
static FieldPointstoGraph	Mahjong.buildFPG(PTA pta)

Methods in qilin.pta.toolkits.mahjong with parameters of type FieldPointstoGraph

Modifier and Type	Method	Description
static void	Mahjong.outputStatistics(FieldPointstoGraph fpg, Map<AllocNode,AllocNode> mom)

Constructors in qilin.pta.toolkits.mahjong with parameters of type FieldPointstoGraph

Modifier	Constructor	Description
	HeapAbstraction(FieldPointstoGraph fpg)

Uses of FieldPointstoGraph in qilin.pta.toolkits.mahjong.automata

Constructors in qilin.pta.toolkits.mahjong.automata with parameters of type FieldPointstoGraph

Modifier	Constructor	Description
	DFAFactory(FieldPointstoGraph fpg)
	NFA(AllocNode q0, FieldPointstoGraph fpg)