stormpy.developer.logic

Warning

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

Raw bindings for Storm’s logic, i.e., the formulas of properties.

This module is intended for developers. Use stormpy.logic for the documented public API.