tuffy.ground.partition
Class Bucket

java.lang.Object
  extended by tuffy.ground.partition.Bucket

public class Bucket
extends java.lang.Object

A partition bucket is either 1) one or multiple components in whole; or 2) one or multiple partitions of one component. Partitions are grouped into buckets and solved bucket by bucket.


Constructor Summary
Bucket(RDB db, PartitionScheme pmap)
          Construct an initially empty memory zone.
 
Method Summary
 void addComponent(Component c)
          Add a component to this bucket.
 void addPart(Partition p)
          Add a partition to this bucket.
 void discard()
          Discard all data structues to facilitate GC.
 java.util.Set<Component> getComponents()
           
 java.util.Set<Partition> getPartitions()
           
 void load(MarkovLogicNetwork mln)
          Load the set of partitions from DB to RAM.
 long size()
           
 java.lang.String toString()
           
 
Methods inherited from class java.lang.Object
clone, equals, finalize, getClass, hashCode, notify, notifyAll, wait, wait, wait
 

Constructor Detail

Bucket

public Bucket(RDB db,
              PartitionScheme pmap)
Construct an initially empty memory zone.

See Also:
addComponent(Component), addPart(Partition)
Method Detail

addComponent

public void addComponent(Component c)
Add a component to this bucket.


addPart

public void addPart(Partition p)
Add a partition to this bucket.


discard

public void discard()
Discard all data structues to facilitate GC.


getComponents

public java.util.Set<Component> getComponents()

getPartitions

public java.util.Set<Partition> getPartitions()

load

public void load(MarkovLogicNetwork mln)
Load the set of partitions from DB to RAM.


size

public long size()

toString

public java.lang.String toString()
Overrides:
toString in class java.lang.Object