00001 #ifndef PRINT_TYPES_H 00002 #define PRINT_TYPES_H 00003 00004 namespace modules { 00005 00006 class PredicateList_OStreamMode { 00007 public: 00008 static bool s_Condensed; 00009 }; 00010 00011 class NumericalFluentList_OStreamMode { 00012 public: 00013 static bool s_Condensed; 00014 }; 00015 00016 } // namespace modules 00017 00018 #endif 00019