infer
Class BDBStore.ClauseType.ClauseEntry
java.lang.Object
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
|
Methods inherited from class java.lang.Object |
clone, equals, finalize, getClass, hashCode, notify, notifyAll, wait, wait, wait |
lits
int[] lits
weight
double weight
BDBStore.ClauseType.ClauseEntry
public BDBStore.ClauseType.ClauseEntry()
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