mapchck

Check map/set for irreflexivity, antisymmetry, transitivity [cpp]

The aim of that project is to provide useful tools for checking map/set correctness. All checking is divided on to 2 groups:

• compile-time checking
• run-time checking

References: I inspired, in general, by Scott Meyers' ideas. Below I put the references for majority source ragarding the topic of this project.

1. Scott Meyers, Effective STL: 50 Specific Ways to Improve Your Use of the Standard Template Library (ISBN-13: 978-0201749625, ISBN-10: 0201749629). Items 19-21
2. https://www.irif.fr/~yunes/cours/cpp/stl/StrictWeakOrdering.html
3. https://ru.wikipedia.org/wiki/Частично_упорядоченное_множество