parse_program

Warning

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

parse_program(

filename: str,

prism_compatibility: bool = False,

simplify: bool = True,

) → stormpy.io.PrismProgram

Parse Prism program