mln
Class LazySAT
java.lang.Object
mln.LazySAT
public class LazySAT
- extends java.lang.Object
Field Summary |
static RDB |
db
|
Methods inherited from class java.lang.Object |
equals, getClass, hashCode, notify, notifyAll, toString, wait, wait, wait |
db
public static RDB db
LazySAT
public LazySAT()
creatAndFillClauseTable
public void creatAndFillClauseTable()
createCTIndices
public void createCTIndices(java.lang.String rel)
doTry
public double doTry(int i)
getInitialActiveAtoms
public static void getInitialActiveAtoms()
main
public static void main(java.lang.String[] args)
reassignID
public void reassignID()
regProcedures
public void regProcedures()