DdEnvironment

class DdEnvironment

Bases: pybind11_object

Environment for DD libraries

cudd(self: stormpy.environments.DdEnvironment)

Get the environment for CUDD

sylvan(self: stormpy.environments.DdEnvironment)

Get the environment for Sylvan