source: src/dgp/thesymbols.hh @ c21bdd6

Last change on this file since c21bdd6 was 5f4d9c3, checked in by Maciej Prill <mprill@…>, 13 years ago

Rewritten the build system, added lem UTF-8 version.

  • Property mode set to 100644
File size: 555 bytes
Line 
1#ifndef __THESYMBOLS__HH
2#define __THESYMBOLS__HH
3
4#include "symbol.hh"
5#include "const.hh"
6
7#include <list>
8#include <set>
9#include <bitset>
10
11typedef Symbol<1> Cat;
12
13typedef Symbol<2> Role;
14typedef list<Role> RoleList;
15typedef list<Role>::iterator RoleListIter;
16typedef bitset<MAXTYPES> RoleSet;
17typedef set<Role> Roles;
18typedef Roles::iterator RolesIter;
19
20typedef Symbol<3> Constr;
21typedef list<Constr> ConstrList;
22typedef list<Constr>::iterator ConstrListIter;
23
24typedef Symbol<4> Rel;
25
26typedef Symbol<5> Flag;
27typedef bitset<MAXFLAGS> FlagSet;
28
29#endif
Note: See TracBrowser for help on using the repository browser.