Package qilin.parm.heapabst

Class HeuristicAbstractor

java.lang.Object

qilin.parm.heapabst.HeuristicAbstractor

All Implemented Interfaces:

HeapAbstractor

public class HeuristicAbstractor
extends Object
implements HeapAbstractor

Constructor Summary

Constructors

Constructor	Description
HeuristicAbstractor(PAG pag)

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

HeuristicAbstractor

public HeuristicAbstractor(PAG pag)

Method Details

abstractHeap

public AllocNode abstractHeap(AllocNode heap)

Specified by:

abstractHeap in interface HeapAbstractor