infer
Class PSQLWalkSAT

java.lang.Object
  extended by infer.PSQLWalkSAT

Deprecated.

@Deprecated
public class PSQLWalkSAT
extends java.lang.Object


Field Summary
static RDB db
          Deprecated.  
 int numClauses
          Deprecated.  
 int numVars
          Deprecated.  
(package private) static java.lang.String procTry
          Deprecated.  
(package private) static java.lang.String relClauses
          Deprecated.  
 
Constructor Summary
PSQLWalkSAT()
          Deprecated.  
 
Method Summary
 double doTry(int i)
          Deprecated.  
 void regProcedures()
          Deprecated.  
 
Methods inherited from class java.lang.Object
clone, equals, finalize, getClass, hashCode, notify, notifyAll, toString, wait, wait, wait
 

Field Detail

db

public static RDB db
Deprecated. 

numClauses

public int numClauses
Deprecated. 

numVars

public int numVars
Deprecated. 

procTry

static java.lang.String procTry
Deprecated. 

relClauses

static java.lang.String relClauses
Deprecated. 
Constructor Detail

PSQLWalkSAT

public PSQLWalkSAT()
Deprecated. 
Method Detail

doTry

public double doTry(int i)
Deprecated. 

regProcedures

public void regProcedures()
Deprecated.