Clauses Namespace Reference

Namespaces
namespace	Error
Classes
struct	Error_Clauses
class	ClAsSets
class	Litset
struct	Cl
Typedefs
typedef ClAsSets < Literals::LitIntOccString >	ClAsSets_LitIntOccString
typedef size_t	size_type
Functions
const std::set< Variables::Var >	operator+ (const std::set< Variables::Var > &A, const std::set< Variables::Var > &B)
Variables
const size_type	max_length = std::numeric_limits<size_type>::max()

---

Typedef Documentation

typedef ClAsSets<Literals::LitIntOccString> Clauses::ClAsSets_LitIntOccString

Definition at line 104 of file Clauses.hpp.

typedef size_t Clauses::size_type

Definition at line 28 of file Clause.hpp.

---

Function Documentation

const std::set<Variables::Var> Clauses::operator+	(	const std::set< Variables::Var > &	A,
		const std::set< Variables::Var > &	B
	)		[inline]

Definition at line 31 of file Clause.hpp.

---

Variable Documentation

const size_type Clauses::max_length = std::numeric_limits<size_type>::max()

Definition at line 29 of file Clause.hpp.

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