tuffy.ground.partition
Class PartitionScheme
java.lang.Object
tuffy.ground.partition.PartitionScheme
public class PartitionScheme
- extends java.lang.Object
A partitioning scheme on an MRF. Such a scheme consists of one or more components, with
each component consisting of one or more partitions. Components are disjoint from each other,
whereas partitions within the same component may share hyper-edges (i.e., clauses).
In the current policy, each hyper-edge being shared across partitioned is randomly
assigned to only one of the adjacent partitions.
Methods inherited from class java.lang.Object |
clone, equals, finalize, getClass, hashCode, notify, notifyAll, toString, wait, wait, wait |
components
public java.util.ArrayList<Component> components
- Components and partitions.
Each component or partition has a unique ID.
maxCompSize
public double maxCompSize
maxNumAtomsInComp
public double maxNumAtomsInComp
maxNumAtomsInPart
public double maxNumAtomsInPart
maxPartSize
public double maxPartSize
totalSize
public double totalSize
PartitionScheme
public PartitionScheme(java.util.ArrayList<Component> comps)
getCompByID
public Component getCompByID(int id)
getCompByPartID
public Component getCompByPartID(int pid)
getMRFByPartID
public MRF getMRFByPartID(int pid)
getNumAtoms
public long getNumAtoms()
getPartitionByID
public Partition getPartitionByID(int pid)
getStats
public java.lang.String getStats()
- Show stats about this partitioning scheme.
numComponents
public int numComponents()
numParts
public int numParts()
size
public double size()
- Estimated RAM size required to hold everything.