Awali
Another Weighted Automata library
Static Public Member Functions
awali::sttc::labels_are_ratexps Struct Reference

marker type for labelsets where labels are rational expressions More...

#include <kind.hh>

Static Public Member Functions

static void make (std::istream &is)
 
static std::string name ()
 
static std::string sname ()
 

Detailed Description

marker type for labelsets where labels are rational expressions

Member Function Documentation

◆ make()

static void awali::sttc::labels_are_ratexps::make ( std::istream &  is)
static

◆ name()

static std::string awali::sttc::labels_are_ratexps::name ( )
static

◆ sname()

static std::string awali::sttc::labels_are_ratexps::sname ( )
static

The documentation for this struct was generated from the following file: