OKlibrary  0.2.1.6
general.hpp File Reference

Components for hypergraph algorithms. More...

Go to the source code of this file.

Namespaces

namespace  OKlib::Combinatorics::Hypergraphs
 

Supermodule for dedicated hypergraph algorithms.


namespace  OKlib
 

All components of the OKlibrary.


namespace  OKlib::Combinatorics
 

The part of the OKlibrary for general combinatorics.



Detailed Description

Components for hypergraph algorithms.

Todo:
Update namespaces. DONE
Todo:
Input and output
  • We consider hypergraphs as special clause-sets (namely positive clause-sets).
  • So it seems that we don't need special input and output?
  • Perhaps for the input we should check positivity of all literals?
  • And for the input perhaps we add some standardised comment before the parameter-line, indicating that here we have a hypergraph?

Definition in file general.hpp.