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