Package pascal.taie.analysis.pta.toolkit.mahjong

Class Mahjong

java.lang.Object

pascal.taie.analysis.pta.toolkit.mahjong.Mahjong

public class Mahjong
extends Object

Constructor Summary

Constructors

Constructor	Description
Mahjong()

Method Summary

Modifier and Type	Method	Description
static HeapModel	run(PointerAnalysisResult pta, AnalysisOptions options)

Methods inherited from class java.lang.Object

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

Constructor Details

Mahjong

public Mahjong()

Method Details

run

public static HeapModel run(PointerAnalysisResult pta,
 AnalysisOptions options)