OKlibrary  0.2.1.6
MinimumTransversalsMongen.cpp File Reference

Application for computing all minimum transversals of a monotone series of hypergraphs. More...

Go to the source code of this file.

Enumerations

enum  

Functions

int main (const int argc, const char *const argv[])

Detailed Description

Application for computing all minimum transversals of a monotone series of hypergraphs.

  • Command line parameters are the maximal number of vertices and further parameters to be passed to the initialisation of the generator.
  • Functions Transversals::Bounded::generator::initialise and Transversals::Bounded::generator need to be provided in another compilation unit (declared in the header file Bounded/MinimumTransversalsMongen.hpp).
  • That generator has to compute for input n the list of hyperedges finishing in n (for example as a vector of vectors).
  • Note that here vertices have to be natural numbers from 1 to n.
  • The Maxima-specification is given by minimum_transversals_mongen in ComputerAlgebra/Hypergraphs/Lisp/Transversals/Bounded/MaintainingBound.mac (using [{}] for parameter MT0, since here we assume that we start with the hypergraph with no vertices and no hyperedges (n=0), which has thus exactly one transversal, the empty set).
Todo:
Making the types available
  • DONE In order that functions "initialise" and "generator" can be defined by clients, the involved types should be made available in a header-file.
  • Better would be a mechanism so that clients can influence these three types.

Definition in file MinimumTransversalsMongen.cpp.


Enumeration Type Documentation

anonymous enum

Definition at line 68 of file MinimumTransversalsMongen.cpp.


Function Documentation

int main ( const int  argc,
const char *const  argv[] 
)