mln
Class MaxWalkSAT
java.lang.Object
mln.MaxWalkSAT
public class MaxWalkSAT
- 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
MaxWalkSAT
public MaxWalkSAT()
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()