|
|||||||||
PREV CLASS NEXT CLASS | FRAMES NO FRAMES | ||||||||
SUMMARY: NESTED | FIELD | CONSTR | METHOD | DETAIL: FIELD | CONSTR | METHOD |
java.lang.Objectmln.InferBDB
public class InferBDB
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 |
---|
public static java.lang.String bdbfileAtoms
public static java.lang.String bdbfileClauses
public java.util.Hashtable<java.lang.Integer,InferBDB.ClauseType> ctDir
Constructor Detail |
---|
public InferBDB()
Method Detail |
---|
public LazySAT constructMRF(java.lang.String ds)
public InferBDB.ClauseType getCTbyLen(int len)
public void infer()
public static void main(java.lang.String[] args)
public void setupEnvironment()
public void storeMRF(RDB db)
public void wsat(int numFlips)
|
|||||||||
PREV CLASS NEXT CLASS | FRAMES NO FRAMES | ||||||||
SUMMARY: NESTED | FIELD | CONSTR | METHOD | DETAIL: FIELD | CONSTR | METHOD |