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