![]() |
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)) |