general.hpp File Reference

The central docus-file for the library. More...

Go to the source code of this file.

---

Detailed Description

The central docus-file for the library.

Overview on the docus-system

Meaning

The docus-system, which is available at (nearly) every node of the directory tree (following the hierarchical structure of the library), provides general usage information relevant for the respective level (the closer to the leaves of the tree the more specific).

Sub-division

The list of top-level docus pages for the parts of the library:

• Applications of (generalised) SAT : Applications/docus/general.hpp
• The build system : Buildsystem/docus/general.hpp
• Combinatorial problems: OKlib/Combinatorics/docus/general.hpp
• The computer algebra system : ComputerAlgebra/docus/general.hpp
• Data structures : DataStructures/docus/general.hpp
• Experimentation : Experimentation/docus/general.hpp
• Logic : Logic/docus/general.hpp
• Logic for program construction and verification : LogicalReflection/docus/general.hpp
• Optimisation : Optimisation/docus/general.hpp
• Programming : Programming/docus/general.hpp
• Satisfiability : Satisfiability/docus/general.hpp
• Statistics : Statistics/docus/general.hpp
• Mathematical structures : OKlib/Structures/docus/general.hpp
• Systemic aspects (build system, test system, complexity system, legal issues): OKlib/System/docus/general.hpp
• The test system : TestSystem/docus/general.hpp
• Visualisation : Visualisation/docus/general.hpp

Definition in file general.hpp.