#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 | ) |
1.5.1