Different ClauseDatabase implementations. More...

Collaboration diagram for Clause Databases:

Classes
class	ClauseDatabase
	Abstract base class defining the interface for clause storage and management. More...

class	ClauseDatabaseBufferPerEntity
	A clause database that maintain separate buffers for each entity, mimicing old painless default behavior. More...

class	ClauseDatabaseMallob
	A clause database implementation attempting to naively mimic the Simplified Adaptive Database from Mallob (ref:https://doi.org/10.1613/jair.1.15827). More...

class	ClauseDatabasePerSize
	A clause database that organizes clauses based on their size. More...

Detailed Description

Different ClauseDatabase implementations.

Classes