mln
Class InferBDB.ClauseType

java.lang.Object
  extended by mln.InferBDB.ClauseType
Enclosing class:
InferBDB

public class InferBDB.ClauseType
extends java.lang.Object


Nested Class Summary
 class InferBDB.ClauseType.ClauseBinding
           
 class InferBDB.ClauseType.ClauseEntry
           
 
Constructor Summary
InferBDB.ClauseType(int length)
           
 
Method Summary
 int recordBytes()
           
 void wrapBDB()
           
 
Methods inherited from class java.lang.Object
equals, getClass, hashCode, notify, notifyAll, toString, wait, wait, wait
 

Constructor Detail

InferBDB.ClauseType

public InferBDB.ClauseType(int length)
Method Detail

recordBytes

public int recordBytes()

wrapBDB

public void wrapBDB()