source:
src/dgp/thesymbols.hh
Last change on this file was d484a32, checked in by Tomasz Obrebski <obrebski@…>, 10 years ago | |
---|---|
|
|
File size: 866 bytes |
Rev | Line | |
---|---|---|
[5f4d9c3] | 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 | ||
[e7de6cc] | 11 | using namespace std; |
[5f4d9c3] | 12 | |
[e7de6cc] | 13 | typedef Symbol<1> Cat; |
14 | typedef bitset<MAXCATS> CatSet; | |
[5f4d9c3] | 15 | |
[e7de6cc] | 16 | typedef Symbol<2> Role; |
17 | typedef list<Role> RoleList; | |
18 | typedef list<Role>::iterator RoleListIter; | |
19 | typedef bitset<MAXTYPES> RoleSet; | |
[d484a32] | 20 | // typedef set<Role> Roles; |
21 | // typedef Roles::iterator RolesIter; | |
[e7de6cc] | 22 | |
23 | typedef Symbol<3> Constr; | |
24 | typedef list<Constr> ConstrList; | |
[5f4d9c3] | 25 | typedef list<Constr>::iterator ConstrListIter; |
26 | ||
[e7de6cc] | 27 | typedef Symbol<4> LongRel; |
28 | typedef set<LongRel> LongRels; | |
29 | ||
30 | typedef Symbol<5> Flag; | |
31 | typedef bitset<MAXFLAGS> FlagSet; | |
[5f4d9c3] | 32 | |
[e7de6cc] | 33 | typedef Symbol<6> Prop; |
34 | typedef bitset<MAXPROPS> PropSet; | |
[5f4d9c3] | 35 | |
36 | #endif |
Note: See TracBrowser
for help on using the repository browser.