line::sym::CtmcMeasure Struct Reference

Symbolic stationary distribution of a CTMC. More...

#include <line/api/sym/sym_engine.h>

Collaboration diagram for line::sym::CtmcMeasure:

Public Member Functions
bool	isDefined () const
	True if this measure has a value.

Public Attributes
std::string	name
	Caller supplied name.
std::string	expr
	The value as a rational function, or "undefined".
std::string	num
	Numerator of expr, empty when undefined.
std::string	den
	Denominator of expr, empty when undefined.
std::string	reason
	Why the value is undefined, empty otherwise.

Detailed Description

Symbolic stationary distribution of a CTMC.

One weighted sum of the stationary distribution, or a ratio of two.

Definition at line 48 of file sym_engine.h.

Member Function Documentation

isDefined()

bool line::sym::CtmcMeasure::isDefined ( ) const

inline

True if this measure has a value.

Definition at line 64 of file sym_engine.h.

References reason.

Member Data Documentation

den

std::string line::sym::CtmcMeasure::den

Denominator of expr, empty when undefined.

Definition at line 52 of file sym_engine.h.

expr

std::string line::sym::CtmcMeasure::expr

The value as a rational function, or "undefined".

Definition at line 50 of file sym_engine.h.

name

std::string line::sym::CtmcMeasure::name

Caller supplied name.

Definition at line 49 of file sym_engine.h.

num

std::string line::sym::CtmcMeasure::num

Numerator of expr, empty when undefined.

Definition at line 51 of file sym_engine.h.

reason

std::string line::sym::CtmcMeasure::reason

Why the value is undefined, empty otherwise.

A ratio whose denominator measure is identically zero over the whole rate space has no value. The numeric arms sweep such a 0/0 to zero with an isnan pass, which is a defensible cleanup of floating point dust and an indefensible answer for an exact one.

Definition at line 61 of file sym_engine.h.

Referenced by isDefined().

---

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

• include/line/api/sym/sym_engine.h