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
64 virtual std::string
dump()
const;
67 static unsigned instance_count();
69 static std::ostream& dump_instances(std::ostream& os);
75 typedef std::pair<std::string, environment*> pair;
76 typedef std::map<pair, const atomic_prop*> map;
86 is_atomic_prop(
const formula* f)
88 if (f->
kind() != formula::AtomicProp)
95 #endif // SPOT_LTLAST_ATOMICPROP_HH