#include <type_system_concept.hpp>
Public Types | |
typedef T::element_dictionary | edt |
typedef T::atom_dictionary | adt |
typedef T::monomer_dictionary | mdt |
typedef T::structure_dictionary | sdt |
typedef T::element_id_type | eid |
typedef T::atom_id_type | aid |
typedef T::monomer_id_type | mid |
typedef T::structure_id_type | sid |
Public Member Functions | |
template<class U> | |
void | unused_variable (const U &) |
void | constraints () |
void | const_constraints (T const &ts) |
Public Attributes | |
T | type_system |
typedef T::element_dictionary edt |
typedef T::atom_dictionary adt |
typedef T::monomer_dictionary mdt |
typedef T::structure_dictionary sdt |
typedef T::element_id_type eid |
typedef T::atom_id_type aid |
typedef T::monomer_id_type mid |
typedef T::structure_id_type sid |
void unused_variable | ( | const U & | ) |
void constraints | ( | ) |
void const_constraints | ( | T const & | ts | ) |