tuffy.main
Class PartInfer

java.lang.Object
  extended by tuffy.main.Infer
      extended by tuffy.main.PartInfer

public class PartInfer
extends Infer

Partitioning-aware inference.


Field Summary
 
Fields inherited from class tuffy.main.Infer
db, dmover, grounding, mln, options
 
Constructor Summary
PartInfer()
           
 
Method Summary
 void run(CommandOptions opt)
           
 
Methods inherited from class tuffy.main.Infer
cleanUp, ground, loadMLN, setUp
 
Methods inherited from class java.lang.Object
clone, equals, finalize, getClass, hashCode, notify, notifyAll, toString, wait, wait, wait
 

Constructor Detail

PartInfer

public PartInfer()
Method Detail

run

public void run(CommandOptions opt)