context.hh File Reference

#include <cassert>
#include <memory>
#include <string>
#include <awali/common/json/node.cc>
#include <awali/common/version.hh>
#include <awali/sttc/core/kind.hh>
#include <awali/sttc/core/rat/fwd.hh>
#include <awali/sttc/ctx/fwd.hh>
#include <awali/sttc/misc/stream.hh>

Go to the source code of this file.

Data Structures
class	awali::sttc::context< LabelSet, WeightSet >
	carries the algebraic settings of automata More...

Namespaces
	awali
	Main namespace of Awali.
	awali::sttc
	Namespace for the static layer of Awali.

Typedefs
template<typename... ValueSets>
using	awali::sttc::join_t = decltype(join(std::declval< ValueSets >()...))
	Computation of the join of some value sets. More...
template<typename... ValueSets>
using	awali::sttc::meet_t = decltype(meet(std::declval< ValueSets >()...))
	Computation of the meet of some value sets. More...

Functions
template<typename LhsLabelSet , typename LhsWeightSet , typename RhsLabelSet , typename RhsWeightSet >
auto	awali::sttc::join (const context< LhsLabelSet, LhsWeightSet > &a, const context< RhsLabelSet, RhsWeightSet > &b) -> context< join_t< LhsLabelSet, RhsLabelSet >, join_t< LhsWeightSet, RhsWeightSet >>
	The join of two contexts. More...
template<typename ValueSet >
auto	awali::sttc::join (const ValueSet &vs) -> ValueSet
	The join of a single valueset. More...
template<typename ValueSet1 , typename ValueSet2 , typename ValueSet3 , typename... VSs>
auto	awali::sttc::join (const ValueSet1 &vs1, const ValueSet2 &vs2, const ValueSet3 &vs3, const VSs &... vs) -> decltype(join(join(vs1, vs2), vs3, vs...))
template<typename LhsLabelSet , typename LhsWeightSet , typename RhsLabelSet , typename RhsWeightSet >
auto	awali::sttc::meet (const context< LhsLabelSet, LhsWeightSet > &a, const context< RhsLabelSet, RhsWeightSet > &b) -> context< meet_t< LhsLabelSet, RhsLabelSet >, join_t< LhsWeightSet, RhsWeightSet >>
	The meet of two contexts. More...
template<typename ValueSet >
auto	awali::sttc::meet (const ValueSet &vs) -> ValueSet
	The meet of a single valueset. More...
template<typename ValueSet1 , typename ValueSet2 , typename ValueSet3 , typename... VSs>
auto	awali::sttc::meet (const ValueSet1 &vs1, const ValueSet2 &vs2, const ValueSet3 &vs3, const VSs &... vs) -> decltype(meet(meet(vs1, vs2), vs3, vs...))