#ifndef __THESYMBOLS__HH
#define __THESYMBOLS__HH

#include "symbol.hh"
#include "const.hh"

#include <list>
#include <set>
#include <bitset>

typedef Symbol<1> Cat;

typedef Symbol<2> Role;
typedef list<Role> RoleList;
typedef list<Role>::iterator RoleListIter;
typedef bitset<MAXTYPES> RoleSet;
typedef set<Role> Roles;
typedef Roles::iterator RolesIter;

typedef Symbol<3> Constr;
typedef list<Constr> ConstrList;
typedef list<Constr>::iterator ConstrListIter;

typedef Symbol<4> Rel;
typedef Symbol<5> Flag;

#endif