Awali
Another Weighted Automata library
Data Structures | Variables
awali::docstring Namespace Reference

Data Structures

struct  entry_t
 

Variables

static std::vector< entry_tentries
 
static entry_t exp_to_aut
 
static entry_t json_format
 
static entry_t ratexp
 
static entry_t templatedocfile
 
static std::string toescape = "\<>[]\""
 

Data Structure Documentation

◆ awali::docstring::entry_t

struct awali::docstring::entry_t
Data Fields
string content
string desc
string name
string title

Variable Documentation

◆ entries

std::vector<entry_t> awali::docstring::entries
static
Initial value:

◆ exp_to_aut

entry_t awali::docstring::exp_to_aut
static
Initial value:
= {
"exp-to-aut",
"Methods for computing an automaton from an expression (to be written)",
"Methods for computing an automaton from an expression",
R"---doxytoken---(
Blabla
)---doxytoken---"
}

◆ json_format

entry_t awali::docstring::json_format
static

◆ ratexp

entry_t awali::docstring::ratexp
static

◆ templatedocfile

entry_t awali::docstring::templatedocfile
static
Initial value:
= {
"",
"",
"",
R"---doxytoken---(
)---doxytoken---"
}

◆ toescape

std::string awali::docstring::toescape = "\<>[]\""
static
awali::docstring::json_format
static entry_t json_format
Definition: json_format.hh:33
awali::sttc::rat::ratexp
std::shared_ptr< const node< Label, Weight > > ratexp
Definition: fwd.hh:172