OKlibrary  0.2.1.6
ClauseSets::ClsAsSets< Clauses, Comp > Class Template Reference

#include <ClauseSets.hpp>

List of all members.

Public Types

typedef Clauses Cl
typedef set_of_clauses::size_type size_type
typedef
set_of_clauses::const_iterator 
const_iterator
typedef Comp clause_compare
typedef Cl::Lit Lit
typedef Cl::Var Var

Public Member Functions

 ClsAsSets ()
 ClsAsSets (const ClsAsSets &F)
ClsAsSetsoperator= (const ClsAsSets &F)
size_type size () const
bool empty () const
Auxiliary::Sat_status unsat () const
Auxiliary::Sat_status sat () const
ClsAsSetsinsert (const Cl &C)
ClsAsSetserase (const Cl &C)
ClsAsSetserase (const_iterator Ci)
const_iterator begin () const
const_iterator end () const
bool operator== (const ClsAsSets &F) const
bool operator!= (const ClsAsSets &F) const
bool operator< (const ClsAsSets &F) const
template<typename Pass >
ClsAsSetsapply (const Pass &pa)

Detailed Description

template<class Clauses, class Comp = std::less<Clauses>>
class ClauseSets::ClsAsSets< Clauses, Comp >

Definition at line 20 of file ClauseSets.hpp.


Member Typedef Documentation

template<class Clauses , class Comp = std::less<Clauses>>
typedef Clauses ClauseSets::ClsAsSets< Clauses, Comp >::Cl

Definition at line 29 of file ClauseSets.hpp.

template<class Clauses , class Comp = std::less<Clauses>>
typedef Comp ClauseSets::ClsAsSets< Clauses, Comp >::clause_compare

Definition at line 32 of file ClauseSets.hpp.

template<class Clauses , class Comp = std::less<Clauses>>
typedef set_of_clauses::const_iterator ClauseSets::ClsAsSets< Clauses, Comp >::const_iterator

Definition at line 31 of file ClauseSets.hpp.

template<class Clauses , class Comp = std::less<Clauses>>
typedef Cl::Lit ClauseSets::ClsAsSets< Clauses, Comp >::Lit

Definition at line 34 of file ClauseSets.hpp.

template<class Clauses , class Comp = std::less<Clauses>>
typedef set_of_clauses::size_type ClauseSets::ClsAsSets< Clauses, Comp >::size_type

Definition at line 30 of file ClauseSets.hpp.

template<class Clauses , class Comp = std::less<Clauses>>
typedef Cl::Var ClauseSets::ClsAsSets< Clauses, Comp >::Var

Definition at line 35 of file ClauseSets.hpp.


Constructor & Destructor Documentation

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

Definition at line 37 of file ClauseSets.hpp.

template<class Clauses , class Comp = std::less<Clauses>>
ClauseSets::ClsAsSets< Clauses, Comp >::ClsAsSets ( const ClsAsSets< Clauses, Comp > &  F) [inline]

Definition at line 38 of file ClauseSets.hpp.


Member Function Documentation

template<class Clauses , class Comp = std::less<Clauses>>
template<typename Pass >
ClsAsSets& ClauseSets::ClsAsSets< Clauses, Comp >::apply ( const Pass &  pa) [inline]
template<class Clauses , class Comp = std::less<Clauses>>
const_iterator ClauseSets::ClsAsSets< Clauses, Comp >::begin ( ) const [inline]

Definition at line 72 of file ClauseSets.hpp.

Referenced by ClauseSets::ClsAsSets< Clauses, Comp >::apply().

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

Definition at line 42 of file ClauseSets.hpp.

Referenced by ClauseSets::ClsAsSets< Clauses, Comp >::unsat().

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

Definition at line 73 of file ClauseSets.hpp.

Referenced by ClauseSets::ClsAsSets< Clauses, Comp >::apply().

template<class Clauses , class Comp = std::less<Clauses>>
ClsAsSets& ClauseSets::ClsAsSets< Clauses, Comp >::erase ( const Cl C) [inline]

Definition at line 63 of file ClauseSets.hpp.

Referenced by ClauseSets::ClsAsSets< Clauses, Comp >::apply().

template<class Clauses , class Comp = std::less<Clauses>>
ClsAsSets& ClauseSets::ClsAsSets< Clauses, Comp >::erase ( const_iterator  Ci) [inline]

Definition at line 67 of file ClauseSets.hpp.

template<class Clauses , class Comp = std::less<Clauses>>
ClsAsSets& ClauseSets::ClsAsSets< Clauses, Comp >::insert ( const Cl C) [inline]

Definition at line 58 of file ClauseSets.hpp.

Referenced by ClauseSets::ClsAsSets< Clauses, Comp >::apply().

template<class Clauses , class Comp = std::less<Clauses>>
bool ClauseSets::ClsAsSets< Clauses, Comp >::operator!= ( const ClsAsSets< Clauses, Comp > &  F) const [inline]

Definition at line 76 of file ClauseSets.hpp.

template<class Clauses , class Comp = std::less<Clauses>>
bool ClauseSets::ClsAsSets< Clauses, Comp >::operator< ( const ClsAsSets< Clauses, Comp > &  F) const [inline]

Definition at line 77 of file ClauseSets.hpp.

template<class Clauses , class Comp = std::less<Clauses>>
ClsAsSets& ClauseSets::ClsAsSets< Clauses, Comp >::operator= ( const ClsAsSets< Clauses, Comp > &  F) [inline]

Definition at line 39 of file ClauseSets.hpp.

template<class Clauses , class Comp = std::less<Clauses>>
bool ClauseSets::ClsAsSets< Clauses, Comp >::operator== ( const ClsAsSets< Clauses, Comp > &  F) const [inline]

Definition at line 75 of file ClauseSets.hpp.

template<class Clauses , class Comp = std::less<Clauses>>
Auxiliary::Sat_status ClauseSets::ClsAsSets< Clauses, Comp >::sat ( ) const [inline]

Definition at line 51 of file ClauseSets.hpp.

References Auxiliary::satisfiable, and OKlib::SATCompetition::unknown.

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

Definition at line 41 of file ClauseSets.hpp.

template<class Clauses , class Comp = std::less<Clauses>>
Auxiliary::Sat_status ClauseSets::ClsAsSets< Clauses, Comp >::unsat ( ) const [inline]

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