mln
Class LazySAT

java.lang.Object
  extended by mln.LazySAT

public class LazySAT
extends java.lang.Object


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

Field Detail

db

public static RDB db
Constructor Detail

LazySAT

public LazySAT()
Method Detail

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()