OKlibrary  0.2.1.6
OKlib::Combinatorics::Hypergraphs::Transversals::Bounded Namespace Reference

Components for handling hypergraph transversals of bounded size. More...

Classes

struct  Wrapper
class  Bounded_transversals_bv
 Functor, which for a given set system G and a bound B computes (essentially) all transversals of G of size at most B. More...
class  TransversalPredicate
 Unary predicate for checking whether a set of vertices is a transversal of a given hypergraph. More...
class  Minimum_transversals_mongen
 Computing all minimum transversals for hypergraphs gen(N0+1), ..., gen(Nmax). More...
class  TrivialOutput
 Functor for just outputting the number of minimum transversals (together with the number of vertices and the minimum size of a transversal) More...
class  DirectStratification
 Transforms a set-system into a standardised stratified set-system according to the order on the vertices. More...

Typedefs

typedef
OKlib::Combinatorics::Hypergraphs::Generators::GreenTao
< vertex_type
GT_hypergraph_type
typedef
GT_hypergraph_type::set_system_type 
set_system_type
typedef
OKlib::Combinatorics::Hypergraphs::Transversals::Bounded::DirectStratification
< set_system_type, vertex_type
Strata_t
typedef unsigned int vertex_type
typedef std::set< vertex_typehyperedge_type
typedef std::vector
< hyperedge_type
hyperedge_list_type
typedef std::vector< vertex_typeparameter_type

Functions

void initialise (const vertex_type N, const parameter_type &P)
hyperedge_list_type generator (const vertex_type n)

Variables

Wrapper prog_gen

Detailed Description

Components for handling hypergraph transversals of bounded size.

Alias "Bnd".


Typedef Documentation


Function Documentation

void OKlib::Combinatorics::Hypergraphs::Transversals::Bounded::initialise ( const vertex_type  N,
const parameter_type &  P 
)

Variable Documentation