|
Last change
on this file since 5f4d9c3 was
5f4d9c3,
checked in by Maciej Prill <mprill@…>, 12 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 | |
|---|
| 11 | typedef Symbol<1> Cat; |
|---|
| 12 | |
|---|
| 13 | typedef Symbol<2> Role; |
|---|
| 14 | typedef list<Role> RoleList; |
|---|
| 15 | typedef list<Role>::iterator RoleListIter; |
|---|
| 16 | typedef bitset<MAXTYPES> RoleSet; |
|---|
| 17 | typedef set<Role> Roles; |
|---|
| 18 | typedef Roles::iterator RolesIter; |
|---|
| 19 | |
|---|
| 20 | typedef Symbol<3> Constr; |
|---|
| 21 | typedef list<Constr> ConstrList; |
|---|
| 22 | typedef list<Constr>::iterator ConstrListIter; |
|---|
| 23 | |
|---|
| 24 | typedef Symbol<4> Rel; |
|---|
| 25 | |
|---|
| 26 | typedef Symbol<5> Flag; |
|---|
| 27 | typedef bitset<MAXFLAGS> FlagSet; |
|---|
| 28 | |
|---|
| 29 | #endif |
|---|
Note: See
TracBrowser
for help on using the repository browser.
