LitSets::Litset< Literal, Comp > Class Template Reference

#include <LitSets.hpp>

List of all members.

Public Types
typedef setlit::size_type	size_type
typedef Literal	Lit
typedef setlit::const_iterator	const_iterator
Public Member Functions
	Litset ()
	Litset (const Litset &l)
Litset &	operator= (const Litset &l)
size_type	size () const
bool	empty () const
Litset &	add (Lit x)
Litset &	erase (Lit x)
Litset &	add (const Litset &L)
Litset &	erase (const Litset &L)
const_iterator	begin () const
const_iterator	end () const
bool	contains (Lit x) const
bool	operator== (const Litset &L) const
bool	operator< (const Litset &L) const

---

Detailed Description

template<class Literal, class Comp = std::less<Literal>>
class LitSets::Litset< Literal, Comp >

Definition at line 18 of file LitSets.hpp.

---

Member Typedef Documentation

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

typedef setlit::const_iterator LitSets::Litset< Literal, Comp >::const_iterator

Definition at line 27 of file LitSets.hpp.

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

typedef Literal LitSets::Litset< Literal, Comp >::Lit

Definition at line 26 of file LitSets.hpp.

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

typedef setlit::size_type LitSets::Litset< Literal, Comp >::size_type

Definition at line 25 of file LitSets.hpp.

---

Constructor & Destructor Documentation

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

LitSets::Litset< Literal, Comp >::Litset

(

)

[inline]

Definition at line 29 of file LitSets.hpp.

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

LitSets::Litset< Literal, Comp >::Litset

(

const Litset< Literal, Comp > &

l

)

[inline]

Definition at line 30 of file LitSets.hpp.

---

Member Function Documentation

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

Litset& LitSets::Litset< Literal, Comp >::add

(

Lit

x

)

[inline]

Definition at line 38 of file LitSets.hpp.

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

Litset& LitSets::Litset< Literal, Comp >::add

(

const Litset< Literal, Comp > &

L

)

[inline]

Definition at line 48 of file LitSets.hpp.

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

const_iterator LitSets::Litset< Literal, Comp >::begin

(

)

const [inline]

Definition at line 59 of file LitSets.hpp.

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

bool LitSets::Litset< Literal, Comp >::contains

(

Lit

x

)

const [inline]

Definition at line 62 of file LitSets.hpp.

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

bool LitSets::Litset< Literal, Comp >::empty

(

)

const [inline]

Definition at line 36 of file LitSets.hpp.

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

const_iterator LitSets::Litset< Literal, Comp >::end

(

)

const [inline]

Definition at line 60 of file LitSets.hpp.

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

Litset& LitSets::Litset< Literal, Comp >::erase

(

Lit

x

)

[inline]

Definition at line 43 of file LitSets.hpp.

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

Litset& LitSets::Litset< Literal, Comp >::erase

(

const Litset< Literal, Comp > &

L

)

[inline]

Definition at line 53 of file LitSets.hpp.

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

bool LitSets::Litset< Literal, Comp >::operator<

(

const Litset< Literal, Comp > &

L

)

const [inline]

Definition at line 65 of file LitSets.hpp.

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

Litset& LitSets::Litset< Literal, Comp >::operator=

(

const Litset< Literal, Comp > &

l

)

[inline]

Definition at line 31 of file LitSets.hpp.

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

bool LitSets::Litset< Literal, Comp >::operator==

(

const Litset< Literal, Comp > &

L

)

const [inline]

Definition at line 64 of file LitSets.hpp.

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

size_type LitSets::Litset< Literal, Comp >::size

(

)

const [inline]

Definition at line 35 of file LitSets.hpp.

---

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

• OKsolver/Experimental/AllgKlassen200203/LitSets.hpp