infer
Class BDBAtomEntry

java.lang.Object
  extended by infer.BDBAtomEntry

@Entity
public class BDBAtomEntry
extends java.lang.Object


Field Summary
 int aid
           
 double delta
           
 boolean fixed
           
 boolean lowTruth
           
 int tallyTrue
           
 boolean truth
           
 double violate
           
 
Constructor Summary
BDBAtomEntry()
           
BDBAtomEntry(int id)
           
 
Method Summary
 boolean criticalForHardClauses()
           
 void flip()
           
 void invertDelta()
           
 boolean restoreLowTruth()
           
 boolean saveLowTruth()
           
 
Methods inherited from class java.lang.Object
clone, equals, finalize, getClass, hashCode, notify, notifyAll, toString, wait, wait, wait
 

Field Detail

aid

@PrimaryKey(sequence="AtomID")
public int aid

delta

public double delta

fixed

public boolean fixed

lowTruth

public boolean lowTruth

tallyTrue

public int tallyTrue

truth

public boolean truth

violate

public double violate
Constructor Detail

BDBAtomEntry

public BDBAtomEntry()

BDBAtomEntry

public BDBAtomEntry(int id)
Method Detail

criticalForHardClauses

public boolean criticalForHardClauses()

flip

public void flip()

invertDelta

public void invertDelta()

restoreLowTruth

public boolean restoreLowTruth()

saveLowTruth

public boolean saveLowTruth()