22 #ifndef SPOT_LTLAST_AUTOMATOP_HH
23 # define SPOT_LTLAST_AUTOMATOP_HH
42 typedef std::vector<const formula*>
vec;
51 instance(
const nfa::ptr
nfa,
vec* v,
bool negated);
53 virtual void accept(
visitor& v)
const;
58 return children_->size();
66 return (*children_)[n];
82 std::string
dump()
const;
85 static unsigned instance_count();
88 static std::ostream& dump_instances(std::ostream& os);
92 typedef std::pair<std::pair<nfa::ptr, bool>, vec*> triplet;
97 operator()(
const triplet& p1,
const triplet& p2)
const
99 if (p1.first.first != p2.first.first)
100 return p1.first.first < p2.first.first;
101 if (p1.first.second != p2.first.second)
102 return p1.first.second < p2.first.second;
103 return *p1.second < *p2.second;
106 typedef std::map<triplet, const automatop*, tripletcmp> map;
107 static map instances;
120 #endif // SPOT_LTLAST_AUTOMATOP_HH