DftIndependentModule¶

Warning

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

class DftIndependentModule¶

Bases: pybind11_object

Independent module in DFT

get_elements(self: stormpy.dft.developer._dft.DftIndependentModule) → set[int]¶: Get elements of module (excluding submodules)

get_representative( self: stormpy.dft.developer._dft.DftIndependentModule, ) → int¶: Get module representative

get_submodules( self: stormpy.dft.developer._dft.DftIndependentModule, ) → set[stormpy.dft.developer._dft.DftIndependentModule]¶: Get submodules

get_subtree( dft: stormpy.dft.developer._dft._DFT_Double, ) → stormpy.dft.developer._dft._DFT_Double¶

get_subtree( dft: stormpy.dft.developer._dft._DFT_RationalFunction, ) → stormpy.dft.developer._dft._DFT_RationalFunction

Get subtree formed by module

is_fully_static(self: stormpy.dft.developer._dft.DftIndependentModule) → bool¶: Whether the module contains only static elements (also in submodules)

is_single_be(self: stormpy.dft.developer._dft.DftIndependentModule) → bool¶: Whether the module consists of a single BE (trivial module)

is_static(self: stormpy.dft.developer._dft.DftIndependentModule) → bool¶: Whether the module contains only static elements (except in submodules)