18 #define DEFINE(Type) \
19 virtual void visit(const Type& t)
weightset_mixin< rat::expressionset_impl< Context >> expressionset
std::ostringstream os
The output stream: the corresponding C++ snippet to compile.
std::string normalize_context(const std::string &ctx, bool full=true)
A context, normalized.
weightset_mixin< detail::tupleset_impl< LabelSets... >> tupleset
weightset_mixin< detail::polynomialset_impl< Context, Kind >> polynomialset
rat::expansionset< ExpSet > expansionset
std::shared_ptr< const detail::context_base > context
A dyn::context.
std::shared_ptr< detail::automaton_base > automaton
signature_printer(std::ostream &os, bool full)
static dyn::context ctx(const driver &d)
Get the context of the driver.