25 #ifndef SPOT_LTLAST_ATOMIC_PROP_HH
26 # define SPOT_LTLAST_ATOMIC_PROP_HH
32 #include "ltlenv/environment.hh"
47 instance(
const std::string& name,
environment& env);
52 const std::string& name()
const;
57 virtual std::string
dump()
const;
60 static unsigned instance_count();
62 static std::ostream& dump_instances(std::ostream& os);
68 typedef std::pair<std::string, environment*> pair;
69 typedef std::map<pair, const atomic_prop*> map;
79 is_atomic_prop(
const formula* f)
81 if (f->
kind() != formula::AtomicProp)
88 #endif // SPOT_LTLAST_ATOMICPROP_HH