soot.jimple.spark.internal
Class BDDTypeManager

java.lang.Object
  extended bysoot.jimple.spark.internal.AbstractTypeManager
      extended bysoot.jimple.spark.internal.BDDTypeManager

public final class BDDTypeManager
extends AbstractTypeManager

A map of bit-vectors representing subtype relationships.

Author:
Ondrej Lhotak

Field Summary
 
Fields inherited from class soot.jimple.spark.internal.AbstractTypeManager
allocNodeListener, fh, pag
 
Constructor Summary
BDDTypeManager(BDDPAG bddpag)
           
 
Method Summary
 void clearTypeMask()
           
 Relation get()
           
 void makeTypeMask()
           
 
Methods inherited from class soot.jimple.spark.internal.AbstractTypeManager
castNeverFails, getFastHierarchy, setFastHierarchy
 
Methods inherited from class java.lang.Object
clone, equals, finalize, getClass, hashCode, notify, notifyAll, toString, wait, wait, wait
 

Constructor Detail

BDDTypeManager

public BDDTypeManager(BDDPAG bddpag)
Method Detail

clearTypeMask

public final void clearTypeMask()
Specified by:
clearTypeMask in class AbstractTypeManager

makeTypeMask

public final void makeTypeMask()
Specified by:
makeTypeMask in class AbstractTypeManager

get

public final Relation get()