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 = 6
 Current minor version of Awali. More...
 
static const std::string suffix = ""
 Suffix of the version of Awali, used mostly by developers. 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(patch) + (suffix=="" ? "" : ("-"+suffix))
std::string to_string(identities i)
static const std::string suffix
Suffix of the version of Awali, used mostly by developers.
Definition: version.hh:36
static constexpr unsigned minor
Current minor version of Awali.
Definition: version.hh:30
static constexpr unsigned patch
Current minor version of Awali.
Definition: version.hh:33
static constexpr unsigned major
Current major version of Awali.
Definition: version.hh:27

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 = 6
staticconstexpr

Current minor version of Awali.

◆ suffix

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

Suffix of the version of Awali, used mostly by developers.