![]() |
Vcsn
2.8
Be Rational
|
#include <sstream>#include <vcsn/dyn/automaton.hh>#include <vcsn/dyn/context.hh>#include <vcsn/dyn/value.hh>#include <vcsn/misc/configuration.hh>Go to the source code of this file.
Namespaces | |
| vcsn | |
| vcsn::dyn | |
Functions | |
| bool | vcsn::dyn::are_equal (const automaton &lhs, const automaton &rhs) |
| Whether are the same automaton. More... | |
| bool | vcsn::dyn::are_equal (const expression &lhs, const expression &rhs) |
| Whether are the same expression. More... | |
| std::string | vcsn::dyn::configuration (const std::string &key) |
| Access a configuration value. More... | |
| template<typename Value > | |
| std::string | vcsn::dyn::format (const Value &v, const std::string &format="default") |
| bool | vcsn::dyn::less_than (const automaton &lhs, const automaton &rhs) |
| Ordering between automata. More... | |
| bool | vcsn::dyn::less_than (const expression &lhs, const expression &rhs) |
| Ordering between expressions. More... | |
| automaton | vcsn::dyn::make_automaton (const std::string &data, const std::string &format="default", bool strip=true) |
| Read an automaton from a string. More... | |
| expression | vcsn::dyn::make_expression (const context &ctx, const std::string &s, identities ids={}, const std::string &format="default") |
| Read an expression from a stream. More... | |
| label | vcsn::dyn::make_label (const context &ctx, const std::string &s, const std::string &format="default") |
| Build a label from a string. More... | |
| polynomial | vcsn::dyn::make_polynomial (const context &ctx, const std::string &s) |
| Build a polynomial from a string. More... | |
| weight | vcsn::dyn::make_weight (const context &ctx, const std::string &s) |
| Build a weight from a string. More... | |
| label | vcsn::dyn::make_word (const context &ctx, const std::string &s, const std::string &format="default") |
| Build a word from a string. More... | |
| template<typename Lhs , typename Rhs > | |
| auto | vcsn::dyn::operator== (const Lhs &l, const Rhs &r) -> decltype(l->vname(), r->vname(), bool()) |
| template<typename Lhs , typename Rhs > | |
| auto | vcsn::dyn::operator!= (const Lhs &l, const Rhs &r) -> decltype(l->vname(), r->vname(), bool()) |
| template<typename Lhs , typename Rhs > | |
| auto | vcsn::dyn::operator< (const Lhs &l, const Rhs &r) -> decltype(compare(l, r)< 0) |
| template<typename Lhs , typename Rhs > | |
| auto | vcsn::dyn::operator<= (const Lhs &l, const Rhs &r) -> decltype(compare(l, r)<=0) |
| template<typename Lhs , typename Rhs > | |
| auto | vcsn::dyn::operator> (const Lhs &l, const Rhs &r) -> decltype(compare(l, r) > 0) |
| template<typename Lhs , typename Rhs > | |
| auto | vcsn::dyn::operator>= (const Lhs &l, const Rhs &r) -> decltype(compare(l, r) >=0) |
| template<typename Lhs , typename Rhs > | |
| auto | vcsn::dyn::operator+ (const Lhs &l, const Rhs &r) -> decltype(add(l, r)) |
| template<typename Lhs , typename Rhs > | |
| auto | vcsn::dyn::operator & (const Lhs &l, const Rhs &r) -> decltype(conjunction(l, r)) |
| template<typename Lhs , typename Rhs > | |
| auto | vcsn::dyn::operator* (const Lhs &l, const Rhs &r) -> decltype(multiply(l, r)) |