ratexpset.hh File Reference

#include <set>
#include <string>
#include <awali/sttc/core/rat/identities.hh>
#include <awali/sttc/core/rat/ratexp.hh>
#include <awali/sttc/core/rat/json_visitor.hxx>
#include <awali/sttc/ctx/context.hh>
#include <awali/sttc/misc/raise.hh>
#include <awali/common/enums.hh>
#include <awali/sttc/labelset/oneset.hh>
#include <awali/sttc/labelset/labelset.hh>
#include <awali/sttc/labelset/letterset.hh>
#include <awali/sttc/weightset/b.hh>
#include <awali/sttc/weightset/z.hh>
#include <awali/sttc/weightset/q.hh>
#include <awali/sttc/weightset/r.hh>
#include <awali/sttc/algos/exp_parser.hh>
#include <awali/sttc/algos/js_parser.hh>
#include <awali/sttc/core/rat/ratexpset.hxx>
#include <awali/sttc/algos/is_valid.hh>

Go to the source code of this file.

Data Structures
class	awali::sttc::rat::ratexpset_impl< Context >
	A typed ratexp set. More...

Namespaces
	awali
	Main namespace of Awali.
	awali::sttc
	Namespace for the static layer of Awali.
	awali::sttc::rat
	Namespace about static rational expressions.

Macros
#define	DEFINE(Type)    using Type ## _t = ::awali::sttc::rat::Type<label_t, weight_t>
	Type of ratexps. More...

Functions
template<typename Context >
ratexpset< Context >	awali::sttc::join (const b &a, const ratexpset< Context > &b)
template<typename GenSet1 , typename Ctx2 >
auto	awali::sttc::join (const letterset< GenSet1 > &a, const ratexpset< Ctx2 > &b) -> ratexpset< context< join_t< letterset< GenSet1 >, labelset_t_of< Ctx2 >>, weightset_t_of< Ctx2 >>>
template<typename Context >
auto	awali::sttc::join (const q &ws, const ratexpset< Context > &rs) -> join_t< ratexpset< Context >, q >
template<typename Context >
auto	awali::sttc::join (const r &ws, const ratexpset< Context > &rs) -> join_t< ratexpset< Context >, r >
template<typename Context >
ratexpset< Context >	awali::sttc::join (const ratexpset< Context > &a, const b &)
template<typename Context >
auto	awali::sttc::join (const ratexpset< Context > &rs, const q &ws) -> ratexpset< context< labelset_t_of< Context >, join_t< weightset_t_of< Context >, q >>>
template<typename Context >
auto	awali::sttc::join (const ratexpset< Context > &rs, const r &ws) -> ratexpset< context< labelset_t_of< Context >, join_t< weightset_t_of< Context >, r >>>
template<typename Context >
auto	awali::sttc::join (const ratexpset< Context > &rs, const z &ws) -> ratexpset< context< labelset_t_of< Context >, join_t< weightset_t_of< Context >, z >>>
template<typename Ctx1 , typename GenSet2 >
auto	awali::sttc::join (const ratexpset< Ctx1 > &a, const letterset< GenSet2 > &b) -> decltype(join(b, a))
template<typename Ctx1 , typename Ctx2 >
auto	awali::sttc::join (const ratexpset< Ctx1 > &a, const ratexpset< Ctx2 > &b) -> ratexpset< join_t< Ctx1, Ctx2 >>
	The union of two ratexpsets. More...
template<typename Context >
auto	awali::sttc::join (const z &ws, const ratexpset< Context > &rs) -> join_t< ratexpset< Context >, z >
template<typename Ctx1 , typename Ctx2 >
auto	awali::sttc::meet (const ratexpset< Ctx1 > &a, const ratexpset< Ctx2 > &b) -> ratexpset< meet_t< Ctx1, Ctx2 >>
	The meet of two ratexpsets. More...

Macro Definition Documentation

DEFINE

#define DEFINE

(

Type

)

using Type ## _t = ::awali::sttc::rat::Type<label_t, weight_t>

Type of ratexps.