PolyBoRi
|
00001 // -*- c++ -*- 00002 //***************************************************************************** 00033 //***************************************************************************** 00034 00035 // include basic definitions 00036 #include "pbori_defs.h" 00037 00038 #ifndef CLiteralCodes_h_ 00039 #define CLiteralCodes_h_ 00040 00041 BEGIN_NAMESPACE_PBORI 00042 00047 class CLiteralCodes { 00048 public: 00049 00051 enum literal_codes { 00052 first_code = 0, 00053 empty = first_code, 00054 space, 00055 plus, 00056 term_separator, 00057 times, 00058 comma, 00059 list_separator, 00060 default_variable_name, 00061 variable_head, 00062 variable_tail, 00063 between_list_separator, 00064 last_code 00065 }; 00066 00067 }; 00068 00069 END_NAMESPACE_PBORI 00070 00071 #endif