infer
Class BDBClauseEntry

java.lang.Object
  extended by infer.BDBClauseEntry

@Entity
public class BDBClauseEntry
extends java.lang.Object


Field Summary
 int[] lits
           
static java.util.Random rand
           
static BDBStore store
           
 double weight
           
 
Constructor Summary
BDBClauseEntry()
           
 
Method Summary
 boolean isHardClause()
           
 boolean isSatByFixedAtoms()
           
 boolean isSatByFixedAtomsRAM()
           
 boolean isViolated()
           
 boolean isViolated(int nsat)
           
 int linkType(int atom)
          Returns +/-1 if contains this atom; 0 if not.
 int nsat()
           
 void parse(java.sql.ResultSet rs)
           
 int pickBest()
           
 int pickRandom()
           
 int replaceAtomID(int oldID, int newID)
          Replaces the ID of a particular atom, assuming that no twins exist.
 boolean selectMCSAT()
           
 java.lang.String toString()
           
 
Methods inherited from class java.lang.Object
clone, equals, finalize, getClass, hashCode, notify, notifyAll, wait, wait, wait
 

Field Detail

lits

public int[] lits

rand

public static java.util.Random rand

store

public static BDBStore store

weight

public double weight
Constructor Detail

BDBClauseEntry

public BDBClauseEntry()
Method Detail

isHardClause

public boolean isHardClause()

isSatByFixedAtoms

public boolean isSatByFixedAtoms()

isSatByFixedAtomsRAM

public boolean isSatByFixedAtomsRAM()

isViolated

public boolean isViolated()

isViolated

public boolean isViolated(int nsat)

linkType

public int linkType(int atom)
Returns +/-1 if contains this atom; 0 if not.

Parameters:
atom -
Returns:

nsat

public int nsat()

parse

public void parse(java.sql.ResultSet rs)

pickBest

public int pickBest()

pickRandom

public int pickRandom()

replaceAtomID

public int replaceAtomID(int oldID,
                         int newID)
Replaces the ID of a particular atom, assuming that no twins exist.

Parameters:
oldID -
newID -
Returns:
1 if oldID=>newID, -1 if -oldID=>-newID, 0 if no replacement

selectMCSAT

public boolean selectMCSAT()

toString

public java.lang.String toString()
Overrides:
toString in class java.lang.Object