soot.jbuddy
Class bddStat

java.lang.Object
  extended bysoot.jbuddy.bddStat

public class bddStat
extends java.lang.Object


Field Summary
protected  boolean swigCMemOwn
           
 
Constructor Summary
  bddStat()
           
protected bddStat(long cPtr, boolean cMemoryOwn)
           
 
Method Summary
 void delete()
           
protected  void finalize()
           
 int getCachesize()
           
protected static long getCPtr(bddStat obj)
           
 int getFreenodes()
           
 int getGbcnum()
           
 int getMaxnodenum()
           
 int getMinfreenodes()
           
 int getNodenum()
           
 int getProduced()
           
 int getVarnum()
           
 void setCachesize(int cachesize)
           
 void setFreenodes(int freenodes)
           
 void setGbcnum(int gbcnum)
           
 void setMaxnodenum(int maxnodenum)
           
 void setMinfreenodes(int minfreenodes)
           
 void setNodenum(int nodenum)
           
 void setProduced(int produced)
           
 void setVarnum(int varnum)
           
 
Methods inherited from class java.lang.Object
clone, equals, getClass, hashCode, notify, notifyAll, toString, wait, wait, wait
 

Field Detail

swigCMemOwn

protected boolean swigCMemOwn
Constructor Detail

bddStat

protected bddStat(long cPtr,
                  boolean cMemoryOwn)

bddStat

public bddStat()
Method Detail

finalize

protected void finalize()

delete

public void delete()

getCPtr

protected static long getCPtr(bddStat obj)

setProduced

public void setProduced(int produced)

getProduced

public int getProduced()

setNodenum

public void setNodenum(int nodenum)

getNodenum

public int getNodenum()

setMaxnodenum

public void setMaxnodenum(int maxnodenum)

getMaxnodenum

public int getMaxnodenum()

setFreenodes

public void setFreenodes(int freenodes)

getFreenodes

public int getFreenodes()

setMinfreenodes

public void setMinfreenodes(int minfreenodes)

getMinfreenodes

public int getMinfreenodes()

setVarnum

public void setVarnum(int varnum)

getVarnum

public int getVarnum()

setCachesize

public void setCachesize(int cachesize)

getCachesize

public int getCachesize()

setGbcnum

public void setGbcnum(int gbcnum)

getGbcnum

public int getGbcnum()