21 #ifndef SPOT_LTLAST_BUNOP_HH
22 # define SPOT_LTLAST_BUNOP_HH
99 std::string
format()
const;
107 virtual std::string
dump()
const;
128 typedef std::pair<unsigned, unsigned>
pairu;
129 typedef std::pair<type, const formula*>
pairo;
130 typedef std::pair<pairo, pairu>
pair;
131 typedef std::map<pair, const bunop*>
map;
155 return static_cast<const bunop*
>(f);
197 #endif // SPOT_LTLAST_BUNOP_HH