DiceStringVisitor

Warning

The stormpy developer API is internal and can be subject to change.

class DiceStringVisitor(

self: stormpy.developer.storage._storage.DiceStringVisitor,

nr_bits: SupportsInt | SupportsIndex,

)

Bases: pybind11_object

Translate expressions to dice

to_string(

self: stormpy.developer.storage._storage.DiceStringVisitor,

arg0: stormpy.expressions.Expression,

) → str