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

marker type for labelsets where labels are tuples 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 tuples

Member Function Documentation

◆ make()

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

◆ name()

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

◆ sname()

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

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