parse_prism_program

parse_prism_program(
path: str | PathLike[str],
*,
prism_compatibility: bool = False,
simplify: bool = True,
) → PrismProgram

Parse a Prism program from file.

Parameters:

  • path – Path to the Prism file (string or path-like object).

  • prism_compatibility – If True, the parser is more lenient and accepts all models accepted by the original Prism model checker.

  • simplify – If True, the program is simplified after parsing.

Returns:

The Prism program.