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 and Description
static FieldPointstoGraph	Mahjong.buildFPG(PTA pta)

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

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

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

Constructor and 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

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