OKlibrary  0.2.1.6
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::Varoperator+ (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 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().