tuffy.helper
Class Stats

java.lang.Object
  extended by tuffy.helper.Stats

public class Stats
extends java.lang.Object

Stats collected from inference. Mainly for debugging and MLN developping purposes. Current implementation/features are very rough.


Nested Class Summary
static class Stats.ClauseCostComparator
           
 
Constructor Summary
Stats()
           
 
Method Summary
static void dumpStats(MRF mrf)
           
static void pullAtomReps(MRF mrf)
           
static java.lang.String reportMostViolatedClauses(MRF mrf, int k)
           
 
Methods inherited from class java.lang.Object
clone, equals, finalize, getClass, hashCode, notify, notifyAll, toString, wait, wait, wait
 

Constructor Detail

Stats

public Stats()
Method Detail

dumpStats

public static void dumpStats(MRF mrf)

pullAtomReps

public static void pullAtomReps(MRF mrf)

reportMostViolatedClauses

public static java.lang.String reportMostViolatedClauses(MRF mrf,
                                                         int k)