// Berkeley DB feature model obtained from berkeley.m

  !FEvictor | Evictor;
  !Evictor | FEvictor;
  !FLogging | Logging;
  !Logging | FLogging;
  !FPersistencyFeatures | Cleaner | Checkpointer | _featureEnvironmentLock | _featureHandleFullDiscError | _featureFileHandleCache | _featureChecksum;
  !Cleaner | FPersistencyFeatures;
  !Checkpointer | FPersistencyFeatures;
  !_featureEnvironmentLock | FPersistencyFeatures;
  !_featureHandleFullDiscError | FPersistencyFeatures;
  !_featureFileHandleCache | FPersistencyFeatures;
  !_featureChecksum | FPersistencyFeatures;
  !BerkeleyDb | BerkeleyDB;
  !BerkeleyDB | BerkeleyDb;
  !FIOFeature | IO | NIO;
  !IO | FIOFeature;
  !NIO | FIOFeature;
  !IO | !NIO;
  !FPersistency | Persistency;
  !Persistency | FPersistency;
  !FStatisticsFeatures | _featureStatisticsTransaction | _featureStatisticsSequence | _featureStatisticsPreload | _featureStatisticsLock | _featureStatisticsDatabase | EnvStats;
  !_featureStatisticsTransaction | FStatisticsFeatures;
  !_featureStatisticsSequence | FStatisticsFeatures;
  !_featureStatisticsPreload | FStatisticsFeatures;
  !_featureStatisticsLock | FStatisticsFeatures;
  !_featureStatisticsDatabase | FStatisticsFeatures;
  !EnvStats | FStatisticsFeatures;
  !FNIOType | Chunked | NotChunked;
  !Chunked | FNIOType;
  !NotChunked | FNIOType;
  !Chunked | !NotChunked;
  !FConcurrency | _featureCheckLeaks | _dummyFeatureLocking | _featureTransaction | _featureFSync | _featureLatch;
  !_featureCheckLeaks | FConcurrency;
  !_dummyFeatureLocking | FConcurrency;
  !_featureTransaction | FConcurrency;
  !_featureFSync | FConcurrency;
  !_featureLatch | FConcurrency;
  !FBtree | BTree;
  !BTree | FBtree;
  !FStatistics | Statistics;
  !Statistics | FStatistics;
  !FDbOperation | _featureTruncateDb | _featureDeleteDb;
  !_featureTruncateDb | FDbOperation;
  !_featureDeleteDb | FDbOperation;
  !Statistics | FStatisticsFeatures;
  !FStatisticsFeatures | Statistics;
  !Statistics | featureStatisticsBase;
  !featureStatisticsBase | Statistics;
  !_featureTransaction | featureTransaction;
  !featureTransaction | _featureTransaction;
  !_featureChecksum | featureChecksum;
  !featureChecksum | _featureChecksum;
  !_featureStatisticsLock | featureStatisticsLock;
  !featureStatisticsLock | _featureStatisticsLock;
  !featureVerifier | BTree;
  !featureTreeVisitor | BTree;
  !featureINCompressor | BTree;
  !FEvictor | BTree;
  !_featureDeleteDb | featureDeleteDb;
  !featureDeleteDb | _featureDeleteDb;
  !featureLoggingFile | Logging;
  !featureLoggingConsole | Logging;
  !featureLoggingDbLog | Logging;
  !featureLoggingFinest | Logging;
  !featureLoggingFiner | Logging;
  !featureLoggingFine | Logging;
  !featureLoggingInfo | Logging;
  !featureLoggingConfig | Logging;
  !featureLoggingSevere | Logging;
  !Logging | featureLoggingBase;
  !featureLoggingBase | Logging;
  !_featureCheckLeaks | featureCheckLeaks;
  !featureCheckLeaks | _featureCheckLeaks;
  !_featureFSync | featureFSync;
  !featureFSync | _featureFSync;
  !featureCriticalEviction | Evictor;
  !featureEvictorDaemon | Evictor;
  !Evictor | featureEvictor;
  !featureEvictor | Evictor;
  !_dummyFeatureLocking | dummyFeatureLocking;
  !dummyFeatureLocking | _dummyFeatureLocking;
  !_featureEnvironmentLock | featureEnvironmentLock;
  !featureEnvironmentLock | _featureEnvironmentLock;
  !featureCustomizableCheckpointerTime | Checkpointer;
  !featureCustomizableCheckpointerBytes | Checkpointer;
  !featureCheckpointerDaemon | Checkpointer;
  !featureDirectNIO | NIO;
  !NIO | FNIOType;
  !FNIOType | NIO;
  !FLogging | BerkeleyDB;
  !BerkeleyDB | FPersistency;
  !FPersistency | BerkeleyDB;
  !FStatistics | BerkeleyDB;
  !featureMemoryBudget | BerkeleyDB;
  !FConcurrency | BerkeleyDB;
  !FDbOperation | BerkeleyDB;
  !BerkeleyDB | FBtree;
  !FBtree | BerkeleyDB;
  !BerkeleyDB | BASE;
  !BASE | BerkeleyDB;
  !_featureStatisticsPreload | featureStatisticsPreload;
  !featureStatisticsPreload | _featureStatisticsPreload;
  !Chunked | featureChunkedNIO;
  !featureChunkedNIO | Chunked;
  !featureSynchronizedIO | IO;
  !IO | featureIO;
  !featureIO | IO;
  !FPersistencyFeatures | Persistency;
  !Persistency | FIOFeature;
  !FIOFeature | Persistency;
  !_featureFileHandleCache | featureFileHandleCache;
  !featureFileHandleCache | _featureFileHandleCache;
  !_featureStatisticsTransaction | featureStatisticsTransaction;
  !featureStatisticsTransaction | _featureStatisticsTransaction;
  !_featureTruncateDb | featureTruncateDb;
  !featureTruncateDb | _featureTruncateDb;
  !_featureLatch | featureLatch;
  !featureLatch | _featureLatch;
  !featureStatisticsEnvLog | EnvStats;
  !featureStatisticsEnvINCompressor | EnvStats;
  !featureStatisticsEnvFSync | EnvStats;
  !featureStatisticsEnvEvictor | EnvStats;
  !featureStatisticsEnvCleaner | EnvStats;
  !featureStatisticsEnvCheckpointer | EnvStats;
  !featureStatisticsEnvCaching | EnvStats;
  !EnvStats | featureStatisticsEnvBase;
  !featureStatisticsEnvBase | EnvStats;
  !_featureStatisticsSequence | featureStatisticsSequence;
  !featureStatisticsSequence | _featureStatisticsSequence;
  !_featureStatisticsDatabase | featureStatisticsDatabase;
  !featureStatisticsDatabase | _featureStatisticsDatabase;
  !featureLookAheadCache | Cleaner;
  !featureCleanerDaemon | Cleaner;
  !NotChunked | featureNIO;
  !featureNIO | NotChunked;
  !_featureHandleFullDiscError | featureHandleFullDiscError;
  !featureHandleFullDiscError | _featureHandleFullDiscError;
  !featureEvictor | featureMemoryBudget;
  !featureEvictorDaemon | featureMemoryBudget;
  !featureLookAheadCache | featureMemoryBudget;
  !featureStatisticsEnvCaching | featureMemoryBudget;
  !featureCheckLeaks | featureStatisticsLock;
  !featureCriticalEviction | featureINCompressor;
  !featureCustomizableCheckpointerBytes | featureCustomizableCheckpointerTime;
  !featureDeleteDb | dummyFeatureLocking;
  !featureDeleteDb | featureEvictor;
  !featureDeleteDb | featureINCompressor;
  !featureDeleteDb | featureMemoryBudget;
  !featureLatch | dummyFeatureLocking;
  !featureLatch | featureCheckLeaks;
  !featureLatch | featureDeleteDb;
  !featureLatch | featureEvictor;
  !featureLatch | featureFileHandleCache;
  !featureLatch | featureFSync;
  !featureLatch | featureINCompressor;
  !featureLatch | featureMemoryBudget;
  !featureLatch | featureStatisticsLock;
  !featureLatch | featureTreeVisitor;
  !featureLatch | featureTruncateDb;
  !featureLatch | featureVerifier;
  !featureLoggingSevere | featureEnvironmentLock;
  !featureLoggingFine | dummyFeatureLocking;
  !featureLoggingFine | featureEvictor;
  !featureLoggingFine | featureINCompressor;
  !featureLoggingInfo | featureChecksum;
  !featureLoggingInfo | featureMemoryBudget;
  !featureLoggingBase | featureTransaction;
  !featureLoggingFinest | featureTransaction;
  !featureMemoryBudget | featureEvictor;
  !featureMemoryBudget | featureLatch;
  !featureStatisticsLock | dummyFeatureLocking;
  !featureStatisticsTransaction | dummyFeatureLocking;
  !featureStatisticsEnvEvictor | featureEvictor;
  !featureStatisticsEnvFSync | featureFSync;
  !featureStatisticsEnvINCompressor | featureINCompressor;
  !featureStatisticsTransaction | featureTransaction;
  !featureStatisticsDatabase | featureTreeVisitor;
  !featureTransaction | dummyFeatureLocking;
  !featureTransaction | featureDeleteDb;
  !featureTransaction | featureTruncateDb;
  !featureTruncateDb | featureDeleteDb;
  !featureVerifier | featureINCompressor;
  !featureVerifier | featureTreeVisitor;
  BerkeleyDb;