C++ Reference: class BinaryClauseManager

This documentation is automatically generated.

A simple class to manage a set of binary clauses.
Method
Add

Return type: bool

Arguments: BinaryClause c

Adds a new binary clause to the manager and returns true if it wasn't already present.

BinaryClauseManager

ClearNewlyAdded

Return type: void

newly_added

Return type: const std::vector<BinaryClause>&

Returns the newly added BinaryClause since the last ClearNewlyAdded() call.

NumClauses

Return type: int