infer
Class BDBClauseEntry
java.lang.Object
infer.BDBClauseEntry
@Entity
public class BDBClauseEntry
- extends java.lang.Object
Methods inherited from class java.lang.Object |
clone, equals, finalize, getClass, hashCode, notify, notifyAll, wait, wait, wait |
lits
public int[] lits
rand
public static java.util.Random rand
store
public static BDBStore store
weight
public double weight
BDBClauseEntry
public BDBClauseEntry()
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