infer
Class PSQLSweepSAT

java.lang.Object
  extended by infer.PSQLSweepSAT

Deprecated.

@Deprecated
public class PSQLSweepSAT
extends java.lang.Object


Field Summary
(package private)  double costOffset
          Deprecated.  
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
PSQLSweepSAT()
          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

costOffset

double costOffset
Deprecated. 

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

PSQLSweepSAT

public PSQLSweepSAT()
Deprecated. 
Method Detail

doTry

public double doTry(int i)
Deprecated. 

regProcedures

public void regProcedures()
Deprecated.