Package qilin.parm.heapabstraction

Class MahjongAbstractor

java.lang.Object

qilin.parm.heapabstraction.MahjongAbstractor

All Implemented Interfaces:

HeapAbstractor

public class MahjongAbstractor
extends Object
implements HeapAbstractor

Constructor Summary

Constructors

Constructor	Description
MahjongAbstractor(PAG pag, Set<Object> mergedHeap, Map<Object,Object> heapModelMap)

Method Summary

Modifier and Type	Method	Description
AllocNode	abstractHeap(AllocNode heap)

Methods inherited from class java.lang.Object

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

Constructor Details

MahjongAbstractor

public MahjongAbstractor(PAG pag,
 Set<Object> mergedHeap,
 Map<Object,Object> heapModelMap)

Method Details

abstractHeap

public AllocNode abstractHeap(AllocNode heap)

Specified by:

abstractHeap in interface HeapAbstractor