Painless Containers Classes

Different clause related data structures. More...

Collaboration diagram for Painless Containers Classes:

Topics
	Clause Databases
	Different ClauseDatabase implementations.

Classes
class	ClauseBuffer
	Wrapper for boost::lockfree::queue to manage ClauseExchange objects. More...
class	ClauseExchange
	Represents an exchangeable clause with flexible array member. More...
class	Formula
	Represents a SAT formula with unit and non-unit clauses. More...
class	painless::skipzero_span< T >
	A span-like container that skips zero elements when iterating. More...
class	painless::vector2D< T >
	A 2D vector implementation optimized for sparse data. More...

Detailed Description

Different clause related data structures.