Awali
Another Weighted Automata library
Variables
awali::version Namespace Reference

Variables

static constexpr unsigned fsm_json = 1
 Main version of the format FSM json used in the library. More...
 
static const std::string full
 Completely version of Awali as a std::string. More...
 
static constexpr unsigned major = 2
 Current major version of Awali. More...
 
static constexpr unsigned minor = 0
 Current minor version of Awali. More...
 
static constexpr unsigned patch = 0
 Current minor version of Awali. More...
 
static const std::string suffix = "unstable"
 Suffix of the version of Awali, used mostly for. More...
 

Variable Documentation

◆ fsm_json

constexpr unsigned awali::version::fsm_json = 1
staticconstexpr

Main version of the format FSM json used in the library.

Versions lesser than fsm_json are usually supported fully for input but not necessarily for output. The behavior is undefined when using versions greater than fsm_json is undefined; usually fsm_json is used instead.

◆ full

const std::string awali::version::full
static
Initial value:
+ "." + std::to_string(minor) + (suffix=="" ? "" : ("-"+suffix))

Completely version of Awali as a std::string.

◆ major

constexpr unsigned awali::version::major = 2
staticconstexpr

Current major version of Awali.

◆ minor

constexpr unsigned awali::version::minor = 0
staticconstexpr

Current minor version of Awali.

◆ patch

constexpr unsigned awali::version::patch = 0
staticconstexpr

Current minor version of Awali.

◆ suffix

const std::string awali::version::suffix = "unstable"
static

Suffix of the version of Awali, used mostly for.

awali::version::minor
static constexpr unsigned minor
Current minor version of Awali.
Definition: version.hh:30
awali::sttc::rat::to_string
std::string to_string(identities i)
awali::version::major
static constexpr unsigned major
Current major version of Awali.
Definition: version.hh:27
awali::version::suffix
static const std::string suffix
Suffix of the version of Awali, used mostly for.
Definition: version.hh:36