8 #include <boost/any.hpp> 10 #include <yaml-cpp/yaml.h> 44 if (!
node_.IsScalar())
50 std::string
str()
const;
53 std::vector<std::string>
keys()
const;
56 bool is_valid(
const std::string& key)
const;
58 void remove(
const std::string& key);
67 std::ostream&
print(std::ostream&
out)
const;
71 std::unique_ptr<std::vector<std::string>>
gen_keys()
const;
73 mutable std::unique_ptr<const std::vector<std::string>>
keys_;
bool is_valid(const std::string &key) const
Check that this node refers to a key that exists in the tree.
config()
Load all the configuration files.
std::ostream & operator<<(std::ostream &out, const config::value &v)
The class returned by [] operators.
friend void swap(value &first, value &second)
std::unique_ptr< std::vector< std::string > > gen_keys() const
std::string str() const
Get the node value as a string.
std::string configuration(const std::string &key)
Get the string mapped by key (e.g., "configuration.version", "dot.styles").
value & operator=(value rhs)
Assign a new value to this key.
std::vector< std::string > keys() const
detail::config & get_config()
Get the configuration singleton.
value operator[](const std::string &key) const
std::unique_ptr< const std::vector< std::string > > keys_
std::ostream & print(std::ostream &out) const
void merge(const value &from)
Merge a value into another one - and modify the first.
auto out(const Aut &aut, state_t_of< Aut > s)
Indexes of visible transitions leaving state s.