mln
Class MaxWalkSAT

java.lang.Object
  extended by mln.MaxWalkSAT

public class MaxWalkSAT
extends java.lang.Object


Field Summary
static RDB db
           
 
Constructor Summary
MaxWalkSAT()
           
 
Method Summary
 void creatAndFillClauseTable()
           
 void createCTIndices(java.lang.String rel)
           
 double doTry(int i)
           
static void expandBlanketTillEQ()
           
static void main(java.lang.String[] args)
           
 void reassignID()
           
static void regMVCCHackTrigger()
           
 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

MaxWalkSAT

public MaxWalkSAT()
Method Detail

creatAndFillClauseTable

public void creatAndFillClauseTable()

createCTIndices

public void createCTIndices(java.lang.String rel)

doTry

public double doTry(int i)

expandBlanketTillEQ

public static void expandBlanketTillEQ()

main

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

reassignID

public void reassignID()

regMVCCHackTrigger

public static void regMVCCHackTrigger()

regProcedures

public void regProcedures()