22 #ifndef SPOT_LTLAST_AUTOMATOP_HH
23 # define SPOT_LTLAST_AUTOMATOP_HH
42 typedef std::vector<const formula*>
vec;
56 unsigned size()
const;
69 std::string
dump()
const;
79 typedef std::pair<std::pair<nfa::ptr, bool>,
vec*>
triplet;
86 if (p1.first.first != p2.first.first)
87 return p1.first.first < p2.first.first;
88 if (p1.first.second != p2.first.second)
89 return p1.first.second < p2.first.second;
90 return *p1.second < *p2.second;
93 typedef std::map<triplet, const automatop*, tripletcmp>
map;
107 #endif // SPOT_LTLAST_AUTOMATOP_HH