BinaryClauseManager

Detailed Description

Definition at line 384 of file clause.h.

Public Member Functions
	BinaryClauseManager ()
int	NumClauses () const
bool	Add (BinaryClause c)
const std::vector< BinaryClause > &	newly_added () const
void	ClearNewlyAdded ()

Constructor & Destructor Documentation

BinaryClauseManager()

BinaryClauseManager ( )

inline

Definition at line 386 of file clause.h.

Member Function Documentation

Add()

bool Add ( BinaryClause  c )

inline

Definition at line 391 of file clause.h.

ClearNewlyAdded()

void ClearNewlyAdded ( )

inline

Definition at line 404 of file clause.h.

newly_added()

const std::vector< BinaryClause > & newly_added ( ) const

inline

Definition at line 403 of file clause.h.

NumClauses()

int NumClauses ( ) const

inline

Definition at line 387 of file clause.h.

---

The documentation for this class was generated from the following file:

• clause.h