API Documentation

• prophesy package
  • Subpackages
    • prophesy.data package
      • Submodules
        • prophesy.data.constant module
        • prophesy.data.constraint module
        • prophesy.data.hyperrectangle module
        • prophesy.data.interval module
        • prophesy.data.model_type module
        • prophesy.data.nice_approximation module
        • prophesy.data.parameter module
        • prophesy.data.point module
        • prophesy.data.property module
        • prophesy.data.range module
        • prophesy.data.samples module
    • prophesy.regions package
      • Module contents
      • Region Checking
        • prophesy.regions.region_checker module
        • prophesy.regions.region_smtchecker module
      • Region Generation
        • prophesy.regions.region_generation module
        • prophesy.regions.region_quads module
    • prophesy.sampling package
      • Sampler: How to sample?
        • prophesy.sampling.sampler module
        • prophesy.sampling.sampler_ratfunc module
        • Sampling via probabilistic model checking
      • Sampling: Where to sample?
        • prophesy.sampling.sample_generator module
        • prophesy.sampling.sampling_linear module
        • prophesy.sampling.sampling_uniform module
      • High-level convenience functions
        • prophesy.sampling.sampling module
    • prophesy.modelcheckers package
      • Module contents
      • Interfaces
        • prophesy.modelcheckers.pmc module
        • prophesy.modelcheckers.ppmc module
      • Implementations
        • prophesy.modelcheckers.storm module
        • prophesy.modelcheckers.stormpy module
        • prophesy.modelcheckers.param module
        • prophesy.modelcheckers.prism module
    • prophesy.smt package
      • Interfaces and convenience functions
        • prophesy.smt.smt module
        • prophesy.smt.smtlib module
      • Solver bindings
        • prophesy.smt.Z3cli_solver module
        • prophesy.smt.YicesCli_solver module
        • prophesy.smt.isat module
      • Module contents
    • prophesy.exceptions package
    • prophesy.input package
      • Input file handlers
        • prophesy.input.modelfile module
        • prophesy.input.pctlfile module
        • prophesy.input.problem_description module
        • prophesy.input.samplefile module
        • prophesy.input.solutionfunctionfile module
    • prophesy.output package
      • prophesy.output.plot module
  • Utility methods
    • prophesy.util module
    • prophesy.config module
• prophesy_web package
• write_config module