OKlibrary  0.2.1.6
OKlib::Combinatorics::Hypergraphs::Transversals::Bounded::Bounded_transversals_bv< SetSystem > Class Template Reference

Functor, which for a given set system G and a bound B computes (essentially) all transversals of G of size at most B. More...

#include <VertexBranching.hpp>

List of all members.

Public Types

typedef SetSystem set_system_type
typedef
set_system_type::const_iterator 
const_iterator
typedef set_system_type::iterator iterator
typedef set_system_type::value_type hyperedge_type
typedef hyperedge_type::value_type vertex_type
typedef hyperedge_type::size_type size_type
typedef std::list< hyperedge_typetransversal_list_type
typedef
transversal_list_type::const_iterator 
const_result_iterator
typedef
transversal_list_type::iterator 
result_iterator

Public Member Functions

 Bounded_transversals_bv (const set_system_type &G, const size_type B)
transversal_list_type operator() () const
transversal_list_type iterated ()
transversal_list_type operator() (set_system_type G, const size_type B) const

Public Attributes

const set_system_typeG_orig
size_type bound

Detailed Description

template<class SetSystem>
class OKlib::Combinatorics::Hypergraphs::Transversals::Bounded::Bounded_transversals_bv< SetSystem >

Functor, which for a given set system G and a bound B computes (essentially) all transversals of G of size at most B.

Recursive splitting on the first vertex in the first hyperedge, first including that vertex in the transversal, then excluding it.

Definition at line 54 of file VertexBranching.hpp.


Member Typedef Documentation

template<class SetSystem >
typedef set_system_type::const_iterator OKlib::Combinatorics::Hypergraphs::Transversals::Bounded::Bounded_transversals_bv< SetSystem >::const_iterator

Definition at line 57 of file VertexBranching.hpp.

template<class SetSystem >
typedef transversal_list_type::const_iterator OKlib::Combinatorics::Hypergraphs::Transversals::Bounded::Bounded_transversals_bv< SetSystem >::const_result_iterator

Definition at line 64 of file VertexBranching.hpp.

template<class SetSystem >
typedef set_system_type::value_type OKlib::Combinatorics::Hypergraphs::Transversals::Bounded::Bounded_transversals_bv< SetSystem >::hyperedge_type

Definition at line 59 of file VertexBranching.hpp.

template<class SetSystem >
typedef set_system_type::iterator OKlib::Combinatorics::Hypergraphs::Transversals::Bounded::Bounded_transversals_bv< SetSystem >::iterator

Definition at line 58 of file VertexBranching.hpp.

template<class SetSystem >
typedef transversal_list_type::iterator OKlib::Combinatorics::Hypergraphs::Transversals::Bounded::Bounded_transversals_bv< SetSystem >::result_iterator

Definition at line 65 of file VertexBranching.hpp.

Definition at line 56 of file VertexBranching.hpp.

template<class SetSystem >
typedef hyperedge_type::size_type OKlib::Combinatorics::Hypergraphs::Transversals::Bounded::Bounded_transversals_bv< SetSystem >::size_type

Definition at line 61 of file VertexBranching.hpp.

Definition at line 63 of file VertexBranching.hpp.

template<class SetSystem >
typedef hyperedge_type::value_type OKlib::Combinatorics::Hypergraphs::Transversals::Bounded::Bounded_transversals_bv< SetSystem >::vertex_type

Definition at line 60 of file VertexBranching.hpp.


Constructor & Destructor Documentation

Definition at line 70 of file VertexBranching.hpp.


Member Function Documentation


Member Data Documentation


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