|
|||||||||
PREV CLASS NEXT CLASS | FRAMES NO FRAMES | ||||||||
SUMMARY: NESTED | FIELD | CONSTR | METHOD | DETAIL: FIELD | CONSTR | METHOD |
java.lang.Objectinfer.Partition
public class Partition
A partition of an MRF. A "partition" is a unit smaller than an MRF component.
Field Summary | |
---|---|
boolean |
cached
|
int |
compID
|
int |
id
|
MRF |
mrf
|
int |
numAtoms
|
int |
numIncClauses
|
int |
numPins
|
Component |
parentComponent
|
double |
ramSize
|
Constructor Summary | |
---|---|
Partition()
|
Method Summary | |
---|---|
int |
compareTo(Partition c)
|
void |
discard()
Discard all data structures to facilitate GC. |
void |
showStats()
Show basic stats about this partition. |
double |
size()
Get the estimated RAM size of this partition. |
Methods inherited from class java.lang.Object |
---|
clone, equals, finalize, getClass, hashCode, notify, notifyAll, toString, wait, wait, wait |
Field Detail |
---|
public boolean cached
public int compID
public int id
public MRF mrf
public int numAtoms
public int numIncClauses
public int numPins
public Component parentComponent
public double ramSize
Constructor Detail |
---|
public Partition()
Method Detail |
---|
public int compareTo(Partition c)
compareTo
in interface java.lang.Comparable<Partition>
public void discard()
public void showStats()
public double size()
|
|||||||||
PREV CLASS NEXT CLASS | FRAMES NO FRAMES | ||||||||
SUMMARY: NESTED | FIELD | CONSTR | METHOD | DETAIL: FIELD | CONSTR | METHOD |