general.hpp File Reference

Components for hypergraph algorithms. More...

Go to the source code of this file.


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.

Update namespaces. DONE
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.