Vcsn  2.8
Be Rational
algos.hxx File Reference
#include <sstream>
#include <vcsn/dyn/automaton.hh>
#include <vcsn/dyn/context.hh>
#include <vcsn/dyn/value.hh>
#include <vcsn/misc/configuration.hh>
Include dependency graph for algos.hxx:
This graph shows which files directly or indirectly include this file:

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))