OKlibrary  0.2.1.6
Clauses::ClAsSets< Literal, Comp > Class Template Reference

#include <Clauses.hpp>

List of all members.

Classes

struct  Tautological_clause

Public Types

enum  Options { checked_ignore, checked_throw, unchecked }
typedef Literal Lit
typedef set_of_literals::size_type size_type
typedef
set_of_literals::const_iterator 
const_iterator
typedef Comp literal_compare
typedef Lit::Var Var

Public Member Functions

 ClAsSets ()
 ClAsSets (const ClAsSets &C)
ClAsSetsoperator= (const ClAsSets &C)
size_type size () const
bool empty () const
void clear ()
const_iterator find (Lit x) const
ClAsSetsinsert (const Lit x, const Options o=checked_throw)
ClAsSetserase (Lit x)
ClAsSetserase (const_iterator i)
const_iterator begin () const
const_iterator end () const
bool operator== (const ClAsSets &C) const
bool operator< (const ClAsSets &C) const

Detailed Description

template<class Literal, class Comp = std::less<Literal>>
class Clauses::ClAsSets< Literal, Comp >

Definition at line 33 of file Clauses.hpp.


Member Typedef Documentation

template<class Literal , class Comp = std::less<Literal>>
typedef set_of_literals::const_iterator Clauses::ClAsSets< Literal, Comp >::const_iterator

Definition at line 45 of file Clauses.hpp.

template<class Literal , class Comp = std::less<Literal>>
typedef Literal Clauses::ClAsSets< Literal, Comp >::Lit

Definition at line 43 of file Clauses.hpp.

template<class Literal , class Comp = std::less<Literal>>
typedef Comp Clauses::ClAsSets< Literal, Comp >::literal_compare

Definition at line 46 of file Clauses.hpp.

template<class Literal , class Comp = std::less<Literal>>
typedef set_of_literals::size_type Clauses::ClAsSets< Literal, Comp >::size_type

Definition at line 44 of file Clauses.hpp.

template<class Literal , class Comp = std::less<Literal>>
typedef Lit::Var Clauses::ClAsSets< Literal, Comp >::Var

Definition at line 47 of file Clauses.hpp.


Member Enumeration Documentation

template<class Literal , class Comp = std::less<Literal>>
enum Clauses::ClAsSets::Options
Enumerator:
checked_ignore 
checked_throw 
unchecked 

Definition at line 63 of file Clauses.hpp.


Constructor & Destructor Documentation

template<class Literal , class Comp = std::less<Literal>>
Clauses::ClAsSets< Literal, Comp >::ClAsSets ( ) [inline]

Definition at line 53 of file Clauses.hpp.

template<class Literal , class Comp = std::less<Literal>>
Clauses::ClAsSets< Literal, Comp >::ClAsSets ( const ClAsSets< Literal, Comp > &  C) [inline]

Definition at line 54 of file Clauses.hpp.


Member Function Documentation

template<class Literal , class Comp = std::less<Literal>>
const_iterator Clauses::ClAsSets< Literal, Comp >::begin ( ) const [inline]

Definition at line 89 of file Clauses.hpp.

template<class Literal , class Comp = std::less<Literal>>
void Clauses::ClAsSets< Literal, Comp >::clear ( ) [inline]

Definition at line 59 of file Clauses.hpp.

template<class Literal , class Comp = std::less<Literal>>
bool Clauses::ClAsSets< Literal, Comp >::empty ( ) const [inline]

Definition at line 58 of file Clauses.hpp.

template<class Literal , class Comp = std::less<Literal>>
const_iterator Clauses::ClAsSets< Literal, Comp >::end ( ) const [inline]

Definition at line 90 of file Clauses.hpp.

template<class Literal , class Comp = std::less<Literal>>
ClAsSets& Clauses::ClAsSets< Literal, Comp >::erase ( Lit  x) [inline]

Definition at line 80 of file Clauses.hpp.

template<class Literal , class Comp = std::less<Literal>>
ClAsSets& Clauses::ClAsSets< Literal, Comp >::erase ( const_iterator  i) [inline]

Definition at line 84 of file Clauses.hpp.

template<class Literal , class Comp = std::less<Literal>>
const_iterator Clauses::ClAsSets< Literal, Comp >::find ( Lit  x) const [inline]

Definition at line 61 of file Clauses.hpp.

template<class Literal , class Comp = std::less<Literal>>
ClAsSets& Clauses::ClAsSets< Literal, Comp >::insert ( const Lit  x,
const Options  o = checked_throw 
) [inline]
template<class Literal , class Comp = std::less<Literal>>
bool Clauses::ClAsSets< Literal, Comp >::operator< ( const ClAsSets< Literal, Comp > &  C) const [inline]

Definition at line 93 of file Clauses.hpp.

template<class Literal , class Comp = std::less<Literal>>
ClAsSets& Clauses::ClAsSets< Literal, Comp >::operator= ( const ClAsSets< Literal, Comp > &  C) [inline]

Definition at line 55 of file Clauses.hpp.

template<class Literal , class Comp = std::less<Literal>>
bool Clauses::ClAsSets< Literal, Comp >::operator== ( const ClAsSets< Literal, Comp > &  C) const [inline]

Definition at line 92 of file Clauses.hpp.

template<class Literal , class Comp = std::less<Literal>>
size_type Clauses::ClAsSets< Literal, Comp >::size ( ) const [inline]

Definition at line 57 of file Clauses.hpp.


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