23 #ifndef SPOT_LTLAST_BUNOP_HH
24 # define SPOT_LTLAST_BUNOP_HH
101 std::string
format()
const;
109 virtual std::string
dump()
const;
130 typedef std::pair<unsigned, unsigned>
pairu;
131 typedef std::pair<type, const formula*>
pairo;
132 typedef std::pair<pairo, pairu>
pair;
133 typedef std::map<pair, const bunop*>
map;
157 return static_cast<const bunop*
>(f);
199 #endif // SPOT_LTLAST_BUNOP_HH