31 #include "ltlenv/environment.hh"
46 instance(
const std::string& name,
environment& env);
51 const std::string&
name()
const
63 virtual std::string
dump()
const override;
66 static unsigned instance_count();
68 static std::ostream& dump_instances(std::ostream& os);
74 typedef std::pair<std::string, environment*> key;
75 typedef std::map<key, const atomic_prop*> map;
85 is_atomic_prop(
const formula* f)
87 if (f->kind() != formula::AtomicProp)
89 return static_cast<const atomic_prop*
>(f);
environment & env() const
Get the environment of the atomic proposition.
Definition: atomic_prop.hh:57
Formula visitor.
Definition: visitor.hh:40
Atomic propositions.
Definition: atomic_prop.hh:40
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.
const std::string & name() const
Get the name of the atomic proposition.
Definition: atomic_prop.hh:51