tuffy.infer
Class PGInfer

java.lang.Object
  extended by tuffy.infer.PGInfer

Deprecated.

public class PGInfer
extends java.lang.Object

RDBM-based WalkSAT using PostgreSQL's stored procedures. WARNING: IT IS SLOW!


Field Summary
(package private)  RDB db
          Deprecated.  
private  boolean debug
          Deprecated.  
(package private)  Grounding grounding
          Deprecated.  
 double lowCost
          Deprecated.  
(package private)  MarkovLogicNetwork mln
          Deprecated.  
(package private)  int numClauses
          Deprecated.  
(package private)  int numVars
          Deprecated.  
(package private)  java.lang.String procSweep
          Deprecated.  
(package private)  java.lang.String procWalk
          Deprecated.  
(package private)  java.lang.String relLog
          Deprecated.  
(package private)  double totalCost
          Deprecated.  
 
Constructor Summary
PGInfer(Grounding g)
          Deprecated.  
 
Method Summary
private  void displayTrace()
          Deprecated.  
private  void regSweep()
          Deprecated.  
private  void regUtils()
          Deprecated.  
private  void regWalk()
          Deprecated.  
 double sweep(int maxTries, int maxSteps)
          Deprecated. Run SweepSAT in the RDBMS.
 double walk(int maxTries, int maxSteps)
          Deprecated. Run WalkSAT inside the RDBMS.
 
Methods inherited from class java.lang.Object
clone, equals, finalize, getClass, hashCode, notify, notifyAll, toString, wait, wait, wait
 

Field Detail

db

RDB db
Deprecated. 

mln

MarkovLogicNetwork mln
Deprecated. 

grounding

Grounding grounding
Deprecated. 

procWalk

java.lang.String procWalk
Deprecated. 

procSweep

java.lang.String procSweep
Deprecated. 

relLog

java.lang.String relLog
Deprecated. 

numVars

int numVars
Deprecated. 

numClauses

int numClauses
Deprecated. 

lowCost

public double lowCost
Deprecated. 

totalCost

double totalCost
Deprecated. 

debug

private boolean debug
Deprecated. 
Constructor Detail

PGInfer

public PGInfer(Grounding g)
Deprecated. 
Method Detail

regUtils

private void regUtils()
Deprecated. 

regWalk

private void regWalk()
Deprecated. 

regSweep

private void regSweep()
Deprecated. 

displayTrace

private void displayTrace()
Deprecated. 

walk

public double walk(int maxTries,
                   int maxSteps)
Deprecated. 
Run WalkSAT inside the RDBMS.

Parameters:
maxTries -
maxSteps -

sweep

public double sweep(int maxTries,
                    int maxSteps)
Deprecated. 
Run SweepSAT in the RDBMS.

Parameters:
maxTries -
maxSteps -