infer
Class PGInfer

java.lang.Object
  extended by infer.PGInfer

public class PGInfer
extends java.lang.Object

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


Constructor Summary
PGInfer(Grounding g)
           
 
Method Summary
 double sweep(int maxTries, int maxSteps)
          Run SweepSAT in the RDBMS.
 double walk(int maxTries, int maxSteps)
          Run WalkSAT inside the RDBMS.
 
Methods inherited from class java.lang.Object
clone, equals, finalize, getClass, hashCode, notify, notifyAll, toString, wait, wait, wait
 

Constructor Detail

PGInfer

public PGInfer(Grounding g)
Method Detail

sweep

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

Parameters:
maxTries -
maxSteps -

walk

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

Parameters:
maxTries -
maxSteps -