JsonContainer

class JsonContainer[ValueType]

Storm-internal container for JSON structures

Template arguments:

• ValueType (type)

Available specializations:

• JsonContainer[float]

• JsonContainer[stormpy.numbers.Rational]

Construction

The default specialization is JsonContainer[float].

Members