|
LIBINT
2.1.0-stable
|
Collection of types used for constructing keys in libint2. More...
#include <key.h>
Public Types | |
| typedef unsigned int | ClassID |
| distinct classes have unique ClassID's | |
| typedef mpz_class | InstanceID |
| some classes need to have distinct instances to have unique InstanceID's, e.g. generalized Singletons | |
Public Member Functions | |
| template<> | |
| KeyTypes::InstanceID | cast (long long i) |
| template<> | |
| KeyTypes::InstanceID | cast (unsigned long long i) |
Static Public Member Functions | |
| template<typename U > | |
| static InstanceID | cast (U i) |
Collection of types used for constructing keys in libint2.
1.8.11