soot.jbuddy
Class bddStat
java.lang.Object
soot.jbuddy.bddStat
- public class bddStat
- extends java.lang.Object
Constructor Summary |
|
bddStat()
|
protected |
bddStat(long cPtr,
boolean cMemoryOwn)
|
Methods inherited from class java.lang.Object |
clone, equals, getClass, hashCode, notify, notifyAll, toString, wait, wait, wait |
swigCMemOwn
protected boolean swigCMemOwn
bddStat
protected bddStat(long cPtr,
boolean cMemoryOwn)
bddStat
public bddStat()
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()