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
Formula visitor.
Definition: visitor.hh:41
Atomic propositions.
Definition: atomic_prop.hh:41
An environment that describes atomic propositions.
Definition: environment.hh:34
SPOT_API std::ostream & dump(std::ostream &os, const formula *f)
Dump a formula tree.