OKlibrary  0.2.1.6
OKlib::Combinatorics::Hypergraphs::Transversals::Bounded::Minimum_transversals_mongen< SetSystem, Generator, Output > Class Template Reference

Computing all minimum transversals for hypergraphs gen(N0+1), ..., gen(Nmax). More...

#include <VertexBranching.hpp>

List of all members.

Public Types

typedef SetSystem set_system_type
typedef
Bounded_transversals_bv
< set_system_type
transversals_bv_type
typedef
transversals_bv_type::const_iterator 
const_iterator
typedef
transversals_bv_type::iterator 
iterator
typedef
transversals_bv_type::hyperedge_type 
hyperedge_type
typedef
transversals_bv_type::vertex_type 
vertex_type
typedef
transversals_bv_type::size_type 
size_type
typedef
transversals_bv_type::transversal_list_type 
transversal_list_type
typedef
transversals_bv_type::const_result_iterator 
const_result_iterator
typedef
transversals_bv_type::result_iterator 
result_iterator
typedef Generator
< set_system_type
generator_type
typedef Output< set_system_typeoutput_type
typedef
generator_type::hyperedge_list_type 
hyperedge_list_type

Public Member Functions

void operator() (const size_type N0, const size_type Nmax, set_system_type G, transversal_list_type MT0, generator_type gen, output_type out) const
void operator() (const size_type Nmax, generator_type gen, output_type out) const

Detailed Description

template<class SetSystem, template< class SetSystem > class Generator, template< class SetSystem > class Output>
class OKlib::Combinatorics::Hypergraphs::Transversals::Bounded::Minimum_transversals_mongen< SetSystem, Generator, Output >

Computing all minimum transversals for hypergraphs gen(N0+1), ..., gen(Nmax).

As minimum_transversals_mongen in ComputerAlgebra/Hypergraphs/Lisp/Transversals/Bounded/MaintainingBound.mac.

  • gen(n) is the list of new hyperedges for vertex n.
  • So actually vertex names are assumed to be standardised (different from the more general Maxima function).

Definition at line 185 of file VertexBranching.hpp.


Member Typedef Documentation

template<class SetSystem , template< class SetSystem > class Generator, template< class SetSystem > class Output>
typedef transversals_bv_type::const_iterator OKlib::Combinatorics::Hypergraphs::Transversals::Bounded::Minimum_transversals_mongen< SetSystem, Generator, Output >::const_iterator

Definition at line 190 of file VertexBranching.hpp.

template<class SetSystem , template< class SetSystem > class Generator, template< class SetSystem > class Output>
typedef transversals_bv_type::const_result_iterator OKlib::Combinatorics::Hypergraphs::Transversals::Bounded::Minimum_transversals_mongen< SetSystem, Generator, Output >::const_result_iterator

Definition at line 196 of file VertexBranching.hpp.

template<class SetSystem , template< class SetSystem > class Generator, template< class SetSystem > class Output>
typedef Generator<set_system_type> OKlib::Combinatorics::Hypergraphs::Transversals::Bounded::Minimum_transversals_mongen< SetSystem, Generator, Output >::generator_type

Definition at line 199 of file VertexBranching.hpp.

template<class SetSystem , template< class SetSystem > class Generator, template< class SetSystem > class Output>
typedef generator_type::hyperedge_list_type OKlib::Combinatorics::Hypergraphs::Transversals::Bounded::Minimum_transversals_mongen< SetSystem, Generator, Output >::hyperedge_list_type

Definition at line 202 of file VertexBranching.hpp.

template<class SetSystem , template< class SetSystem > class Generator, template< class SetSystem > class Output>
typedef transversals_bv_type::hyperedge_type OKlib::Combinatorics::Hypergraphs::Transversals::Bounded::Minimum_transversals_mongen< SetSystem, Generator, Output >::hyperedge_type

Definition at line 192 of file VertexBranching.hpp.

template<class SetSystem , template< class SetSystem > class Generator, template< class SetSystem > class Output>
typedef transversals_bv_type::iterator OKlib::Combinatorics::Hypergraphs::Transversals::Bounded::Minimum_transversals_mongen< SetSystem, Generator, Output >::iterator

Definition at line 191 of file VertexBranching.hpp.

template<class SetSystem , template< class SetSystem > class Generator, template< class SetSystem > class Output>
typedef Output<set_system_type> OKlib::Combinatorics::Hypergraphs::Transversals::Bounded::Minimum_transversals_mongen< SetSystem, Generator, Output >::output_type

Definition at line 200 of file VertexBranching.hpp.

template<class SetSystem , template< class SetSystem > class Generator, template< class SetSystem > class Output>
typedef transversals_bv_type::result_iterator OKlib::Combinatorics::Hypergraphs::Transversals::Bounded::Minimum_transversals_mongen< SetSystem, Generator, Output >::result_iterator

Definition at line 197 of file VertexBranching.hpp.

template<class SetSystem , template< class SetSystem > class Generator, template< class SetSystem > class Output>
typedef SetSystem OKlib::Combinatorics::Hypergraphs::Transversals::Bounded::Minimum_transversals_mongen< SetSystem, Generator, Output >::set_system_type

Definition at line 187 of file VertexBranching.hpp.

template<class SetSystem , template< class SetSystem > class Generator, template< class SetSystem > class Output>
typedef transversals_bv_type::size_type OKlib::Combinatorics::Hypergraphs::Transversals::Bounded::Minimum_transversals_mongen< SetSystem, Generator, Output >::size_type

Definition at line 194 of file VertexBranching.hpp.

template<class SetSystem , template< class SetSystem > class Generator, template< class SetSystem > class Output>
typedef transversals_bv_type::transversal_list_type OKlib::Combinatorics::Hypergraphs::Transversals::Bounded::Minimum_transversals_mongen< SetSystem, Generator, Output >::transversal_list_type

Definition at line 195 of file VertexBranching.hpp.

template<class SetSystem , template< class SetSystem > class Generator, template< class SetSystem > class Output>
typedef Bounded_transversals_bv<set_system_type> OKlib::Combinatorics::Hypergraphs::Transversals::Bounded::Minimum_transversals_mongen< SetSystem, Generator, Output >::transversals_bv_type

Definition at line 189 of file VertexBranching.hpp.

template<class SetSystem , template< class SetSystem > class Generator, template< class SetSystem > class Output>
typedef transversals_bv_type::vertex_type OKlib::Combinatorics::Hypergraphs::Transversals::Bounded::Minimum_transversals_mongen< SetSystem, Generator, Output >::vertex_type

Definition at line 193 of file VertexBranching.hpp.


Member Function Documentation

template<class SetSystem , template< class SetSystem > class Generator, template< class SetSystem > class Output>
void OKlib::Combinatorics::Hypergraphs::Transversals::Bounded::Minimum_transversals_mongen< SetSystem, Generator, Output >::operator() ( const size_type  N0,
const size_type  Nmax,
set_system_type  G,
transversal_list_type  MT0,
generator_type  gen,
output_type  out 
) const [inline]
template<class SetSystem , template< class SetSystem > class Generator, template< class SetSystem > class Output>
void OKlib::Combinatorics::Hypergraphs::Transversals::Bounded::Minimum_transversals_mongen< SetSystem, Generator, Output >::operator() ( const size_type  Nmax,
generator_type  gen,
output_type  out 
) const [inline]

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