source: src/dgp/thesymbols.hh

Last change on this file 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
11using namespace std;
12
13typedef Symbol<1>              Cat;
14typedef bitset<MAXCATS>        CatSet;
15
16typedef Symbol<2>              Role;
17typedef list<Role>             RoleList;
18typedef list<Role>::iterator   RoleListIter;
19typedef bitset<MAXTYPES>       RoleSet;
20// typedef set<Role>              Roles;
21// typedef Roles::iterator        RolesIter;
22
23typedef Symbol<3>              Constr;
24typedef list<Constr>           ConstrList;
25typedef list<Constr>::iterator ConstrListIter;
26
27typedef Symbol<4>              LongRel;
28typedef set<LongRel>           LongRels;
29
30typedef Symbol<5>              Flag;
31typedef bitset<MAXFLAGS>       FlagSet;
32
33typedef Symbol<6>              Prop;
34typedef bitset<MAXPROPS>       PropSet;
35
36#endif
Note: See TracBrowser for help on using the repository browser.