Start Extensions API Documentation stormpy.dft check_dft_validity check_dft_validity¶ check_dft_validity(dft: DFT) → bool¶ Check validity of DFT. Checks whether the DFT is well-formed, can be analyzed via Markov model analysis and points out potential modeling issues. :param dft: DFT. :return: True iff DFT is valid.