- All Implemented Interfaces:
- java.io.Serializable, java.lang.Comparable
- Enclosing class:
- Library
public static class Library.BaseCB_Ptr
extends Library.CB_Ptr
implements java.lang.Comparable, java.io.Serializable
This class implements a BaseCB pointer (to be stored in CB_EQCs in the BaseClauseIndex).
It is used as a compact stand-in for a base CB (j.e. not expanded) in set operations during learning.
The slot for 'clause' is used to cache a real pointer to the real CB if it is ever retrieved,
for efficiency. But when a BaseCB_Ptr is written to disk, the clause is not (to conserve space).
- See Also:
- Serialized Form