mln
Class InferBDB

java.lang.Object
  extended by mln.InferBDB

public class InferBDB
extends java.lang.Object


Nested Class Summary
 class InferBDB.AtomBinding
           
 class InferBDB.AtomEntry
           
 class InferBDB.ClauseType
           
 
Field Summary
static java.lang.String bdbfileAtoms
           
static java.lang.String bdbfileClauses
           
 java.util.Hashtable<java.lang.Integer,InferBDB.ClauseType> ctDir
           
 
Constructor Summary
InferBDB()
           
 
Method Summary
 LazySAT constructMRF(java.lang.String ds)
           
 InferBDB.ClauseType getCTbyLen(int len)
           
 void infer()
           
static void main(java.lang.String[] args)
           
 void setupEnvironment()
           
 void storeMRF(RDB db)
           
 void wsat(int numFlips)
           
 
Methods inherited from class java.lang.Object
equals, getClass, hashCode, notify, notifyAll, toString, wait, wait, wait
 

Field Detail

bdbfileAtoms

public static java.lang.String bdbfileAtoms

bdbfileClauses

public static java.lang.String bdbfileClauses

ctDir

public java.util.Hashtable<java.lang.Integer,InferBDB.ClauseType> ctDir
Constructor Detail

InferBDB

public InferBDB()
Method Detail

constructMRF

public LazySAT constructMRF(java.lang.String ds)

getCTbyLen

public InferBDB.ClauseType getCTbyLen(int len)

infer

public void infer()

main

public static void main(java.lang.String[] args)

setupEnvironment

public void setupEnvironment()

storeMRF

public void storeMRF(RDB db)

wsat

public void wsat(int numFlips)