Clauses::Cl Struct Reference

#include <Clause.hpp>

Inheritance diagram for Clauses::Cl:

List of all members.

Public Member Functions

 Cl ()
 Cl (const litset_t &L)
 Cl (const Litset &L)
Cladd (const literal_type x)


Cl operator+ (const Cl &lhs, const Cl &rhs)

Detailed Description

Definition at line 132 of file Clause.hpp.

Constructor & Destructor Documentation

Clauses::Cl::Cl ( ) [inline]

Definition at line 133 of file Clause.hpp.

Clauses::Cl::Cl ( const litset_t L) [inline]

Definition at line 134 of file Clause.hpp.

References Clauses::Litset::tautological().

Clauses::Cl::Cl ( const Litset L) [inline]

Definition at line 137 of file Clause.hpp.

References Clauses::Litset::tautological().

Member Function Documentation

Cl& Clauses::Cl::add ( const literal_type  x) [inline]

Reimplemented from Clauses::Litset.

Definition at line 141 of file Clause.hpp.

References add(), Literals::Lit::comp(), and Clauses::Litset::contains().

Friends And Related Function Documentation

Cl operator+ ( const Cl lhs,
const Cl rhs 
) [friend]

Definition at line 146 of file Clause.hpp.

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