Bimap.h File Reference

#include <forward_list>
#include <set>

Include dependency graph for Bimap.h:

This graph shows which files directly or indirectly include this file:

Go to the source code of this file.

Data Structures
class	smtrat::Bimap< Class, FirstKeyType, FirstKeyName, SecondKeyType, SecondKeyName >
	Container that stores expensive to construct objects and allows the fast lookup with respect to two independent keys within the objects. More...
struct	smtrat::Bimap< Class, FirstKeyType, FirstKeyName, SecondKeyType, SecondKeyName >::FirstCompare
	Comparator that performs a heterogeneous lookup on the first key. More...
struct	smtrat::Bimap< Class, FirstKeyType, FirstKeyName, SecondKeyType, SecondKeyName >::SecondCompare
	Comparator that performs a heterogeneous lookup on the second key. More...

Namespaces
	smtrat
	Class to create the formulas for axioms.