infer
Class BDBStore.ClauseType.ClauseEntry

java.lang.Object
  extended by infer.BDBStore.ClauseType.ClauseEntry
Enclosing class:
BDBStore.ClauseType

public class BDBStore.ClauseType.ClauseEntry
extends java.lang.Object


Field Summary
(package private)  int[] lits
           
(package private)  double weight
           
 
Constructor Summary
BDBStore.ClauseType.ClauseEntry()
           
 
Method Summary
 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()
           
 boolean replaceAtomID(int oldID, int newID)
          Replaces the ID of a particular atom, assuming that now twins exist.
 java.lang.String toString()
           
 
Methods inherited from class java.lang.Object
clone, equals, finalize, getClass, hashCode, notify, notifyAll, wait, wait, wait
 

Field Detail

lits

int[] lits

weight

double weight
Constructor Detail

BDBStore.ClauseType.ClauseEntry

public BDBStore.ClauseType.ClauseEntry()
Method Detail

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 boolean replaceAtomID(int oldID,
                             int newID)
Replaces the ID of a particular atom, assuming that now twins exist.

Parameters:
oldID -
newID -
Returns:
true iff replacement occurred

toString

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