tuffy.ground.partition
Class Partition

java.lang.Object
  tuffy.ground.partition.Partition

All Implemented Interfaces:

java.lang.Comparable<Partition>

public class Partition
extends java.lang.Object
implements java.lang.Comparable<Partition>

A partition is a subgraph of an MRF component.

Field Summary

int	id
MRF	mrf
int	numAtoms
int	numIncidentClauses
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

id

public int id

numAtoms

public int numAtoms

numIncidentClauses

public int numIncidentClauses

ramSize

public double ramSize

parentComponent

public Component parentComponent

mrf

public MRF mrf

Constructor Detail

Partition

public Partition()

Method Detail

compareTo

public int compareTo(Partition c)

Specified by:

compareTo in interface java.lang.Comparable<Partition>

size

public double size()

Get the estimated RAM size of this partition.

discard

public void discard()

Discard all data structures to facilitate GC. (Does it really work?)

showStats

public void showStats()

Show basic stats about this partition.