OKlibrary  0.2.1.6
Clauses::Litset Class Reference

#include <Clause.hpp>

Inheritance diagram for Clauses::Litset:
Clauses::Cl

List of all members.

Public Types

typedef Literals::Lit literal_type
typedef std::set< literal_typelitset_t
typedef Variables::Var var_type
typedef litset_t::const_iterator iterator
typedef iterator const_iterator
typedef std::set< var_typevarset_type

Public Member Functions

 Litset ()
 Litset (const litset_t &L)
bool tautological () const
bool empty () const
size_type size () const
bool contains (const literal_type x) const
Litset comp () const
varset_type var () const
Litsetadd (const literal_type x)
Litsetremove (const literal_type x)
Litsetadd_ls (const Litset &L)
Litsetremove_ls (const Litset &L)

Static Public Member Functions

static literal_type comp_ (const literal_type x)
static var_type var_ (const literal_type x)

Public Attributes

litset_t ls

Friends

bool operator== (const Litset &lhs, const Litset &rhs)
bool operator< (const Litset &lhs, const Litset &rhs)
Litset operator+ (const Litset &lhs, const Litset &rhs)
Litset operator- (const Litset &lhs, const Litset &rhs)
Litset operator& (const Litset &lhs, const Litset &rhs)

Detailed Description

Definition at line 39 of file Clause.hpp.


Member Typedef Documentation

typedef iterator Clauses::Litset::const_iterator

Definition at line 48 of file Clause.hpp.

typedef litset_t::const_iterator Clauses::Litset::iterator

Definition at line 47 of file Clause.hpp.

typedef Literals::Lit Clauses::Litset::literal_type

Definition at line 41 of file Clause.hpp.

typedef std::set<literal_type> Clauses::Litset::litset_t

Definition at line 42 of file Clause.hpp.

typedef Variables::Var Clauses::Litset::var_type

Definition at line 46 of file Clause.hpp.

typedef std::set<var_type> Clauses::Litset::varset_type

Definition at line 49 of file Clause.hpp.


Constructor & Destructor Documentation

Clauses::Litset::Litset ( ) [inline]

Definition at line 51 of file Clause.hpp.

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

Definition at line 52 of file Clause.hpp.

References ls.


Member Function Documentation

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

Reimplemented in Clauses::Cl.

Definition at line 89 of file Clause.hpp.

References ls.

Litset& Clauses::Litset::add_ls ( const Litset L) [inline]

Definition at line 91 of file Clause.hpp.

References ls.

Litset Clauses::Litset::comp ( ) const [inline]

Definition at line 74 of file Clause.hpp.

References comp_(), and ls.

static literal_type Clauses::Litset::comp_ ( const literal_type  x) [inline, static]

Definition at line 73 of file Clause.hpp.

References Literals::Lit::comp().

Referenced by comp().

bool Clauses::Litset::contains ( const literal_type  x) const [inline]

Definition at line 69 of file Clause.hpp.

References ls.

Referenced by Clauses::Cl::add().

bool Clauses::Litset::empty ( ) const [inline]

Definition at line 67 of file Clause.hpp.

References ls.

Litset& Clauses::Litset::remove ( const literal_type  x) [inline]

Definition at line 90 of file Clause.hpp.

References ls.

Litset& Clauses::Litset::remove_ls ( const Litset L) [inline]

Definition at line 95 of file Clause.hpp.

References ls.

size_type Clauses::Litset::size ( ) const [inline]

Definition at line 68 of file Clause.hpp.

References ls.

bool Clauses::Litset::tautological ( ) const [inline]

Definition at line 55 of file Clause.hpp.

References ls.

Referenced by Clauses::Cl::Cl().

varset_type Clauses::Litset::var ( ) const [inline]

Definition at line 82 of file Clause.hpp.

References ls, and var_().

static var_type Clauses::Litset::var_ ( const literal_type  x) [inline, static]

Definition at line 81 of file Clause.hpp.

References Literals::Lit::var().

Referenced by var().


Friends And Related Function Documentation

Litset operator& ( const Litset lhs,
const Litset rhs 
) [friend]

Definition at line 119 of file Clause.hpp.

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

Definition at line 107 of file Clause.hpp.

Litset operator- ( const Litset lhs,
const Litset rhs 
) [friend]

Definition at line 113 of file Clause.hpp.

bool operator< ( const Litset lhs,
const Litset rhs 
) [friend]

Definition at line 103 of file Clause.hpp.

bool operator== ( const Litset lhs,
const Litset rhs 
) [friend]

Definition at line 100 of file Clause.hpp.


Member Data Documentation

litset_t Clauses::Litset::ls

Definition at line 44 of file Clause.hpp.

Referenced by add(), add_ls(), comp(), contains(), empty(), Litset(), remove(), remove_ls(), size(), tautological(), and var().


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