Clausesets Namespace Reference

Classes
class	Cls
Functions
const Clauses::Litset &	acc_plus (Clauses::Litset &A, const Clauses::Cl &B)
bool	has_length (const Clauses::Cl &C, Clauses::size_type k=0)
Clauses::size_type	length_plus (const Clauses::size_type a, const Clauses::Cl &B)

---

Function Documentation

const Clauses::Litset& Clausesets::acc_plus	(	Clauses::Litset &	A,
		const Clauses::Cl &	B
	)		[inline]

Definition at line 89 of file ClauseSet.hpp.

Referenced by Clausesets::Cls::lit().

bool Clausesets::has_length	(	const Clauses::Cl &	C,
		Clauses::size_type	k = 0
	)		[inline]

Definition at line 104 of file ClauseSet.hpp.

Referenced by Clausesets::Cls::c().

Clauses::size_type Clausesets::length_plus	(	const Clauses::size_type	a,
		const Clauses::Cl &	B
	)		[inline]

Definition at line 117 of file ClauseSet.hpp.

Referenced by Clausesets::Cls::l().