Valuation

Warning

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

class Valuation

Bases: pybind11_object

Base class for valuations of expression variables

property expression_manager