24 #ifndef SPOT_LTLAST_AUTOMATOP_HH
25 # define SPOT_LTLAST_AUTOMATOP_HH
44 typedef std::vector<const formula*>
vec;
58 unsigned size()
const;
71 std::string
dump()
const;
81 typedef std::pair<std::pair<nfa::ptr, bool>,
vec*>
triplet;
88 if (p1.first.first != p2.first.first)
89 return p1.first.first < p2.first.first;
90 if (p1.first.second != p2.first.second)
91 return p1.first.second < p2.first.second;
92 return *p1.second < *p2.second;
95 typedef std::map<triplet, const automatop*, tripletcmp>
map;
109 #endif // SPOT_LTLAST_AUTOMATOP_HH