infer
Class BDBStore.ClauseType

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

 class BDBStore.ClauseType
extends java.lang.Object


Nested Class Summary
 class BDBStore.ClauseType.ClauseBinding
           
 class BDBStore.ClauseType.ClauseEntry
           
 class BDBStore.ClauseType.LiteralKeyCreator
           
 
Field Summary
(package private)  com.sleepycat.db.Database bdb
           
(package private)  BDBStore.ClauseType.ClauseBinding binding
           
(package private)  com.sleepycat.collections.StoredList<BDBStore.ClauseType.ClauseEntry> clauses
           
(package private)  int count
           
(package private)  com.sleepycat.db.SecondaryDatabase index
           
(package private)  int len
           
(package private)  int numViolations
           
 
Constructor Summary
BDBStore.ClauseType(int length)
           
 
Method Summary
 void wrapBDB()
           
 
Methods inherited from class java.lang.Object
clone, equals, finalize, getClass, hashCode, notify, notifyAll, toString, wait, wait, wait
 

Field Detail

bdb

com.sleepycat.db.Database bdb

binding

BDBStore.ClauseType.ClauseBinding binding

clauses

com.sleepycat.collections.StoredList<BDBStore.ClauseType.ClauseEntry> clauses

count

int count

index

com.sleepycat.db.SecondaryDatabase index

len

int len

numViolations

int numViolations
Constructor Detail

BDBStore.ClauseType

public BDBStore.ClauseType(int length)
Method Detail

wrapBDB

public void wrapBDB()