Vcsn  2.8
Be Rational
conjunction-expression.hh File Reference
#include <vcsn/ctx/context.hh>
#include <vcsn/ctx/traits.hh>
#include <vcsn/dyn/value.hh>
Include dependency graph for conjunction-expression.hh:
This graph shows which files directly or indirectly include this file:

Go to the source code of this file.

Namespaces

 vcsn
 
 vcsn::dyn
 
 vcsn::dyn::detail
 

Functions

template<typename ValueSet >
ValueSet::value_t vcsn::conjunction (const ValueSet &rs, const typename ValueSet::value_t &lhs, const typename ValueSet::value_t &rhs)
 Intersection/Hadamard product of values. More...
 
template<typename ValueSetLhs , typename ValueSetRhs , typename Value >
Value vcsn::dyn::detail::conjunction_value (const Value &lhs, const Value &rhs)
 
template<typename ExpSetLhs , typename ExpSetRhs >
expansion vcsn::dyn::detail::conjunction_expansion (const expansion &lhs, const expansion &rhs)
 Bridge (conjunction). More...
 
template<typename ExpSetLhs , typename ExpSetRhs >
expression vcsn::dyn::detail::conjunction_expression (const expression &lhs, const expression &rhs)
 Bridge (conjunction). More...
 
template<typename PolynomialSetLhs , typename PolynomialSetRhs >
polynomial vcsn::dyn::detail::conjunction_polynomial (const polynomial &lhs, const polynomial &rhs)
 Bridge (conjunction). More...