bppy package

Subpackages

• bppy.analysis package
  • Submodules
  • bppy.analysis.bprogram_converter module
    • BProgramConverter
      • BProgramConverter.collect_structure()
      • BProgramConverter.to_prism()
  • bppy.analysis.dfs_bprogram_verifier module
    • DFSBProgramVerifier
      • DFSBProgramVerifier.verify()
  • bppy.analysis.symbolic_bprogram_verifier module
    • SymbolicBProgramVerifier
      • SymbolicBProgramVerifier.verify()
  • Module contents
• bppy.execution package
  • Subpackages
    • bppy.execution.listeners package
      • Submodules
      • bppy.execution.listeners.b_program_runner_listener module
      • bppy.execution.listeners.print_b_program_runner_listener module
      • Module contents
  • Module contents
• bppy.gym package
  • Submodules
  • bppy.gym.bp_action_space module
    • BPActionSpace
      • BPActionSpace.contains()
      • BPActionSpace.sample()
  • bppy.gym.bp_env module
    • BPEnv
      • BPEnv.close()
      • BPEnv.get_state()
      • BPEnv.render()
      • BPEnv.reset()
      • BPEnv.step()
  • bppy.gym.bp_observation_space module
    • BPObservationSpace
      • BPObservationSpace.bp_state_to_gym_space()
      • BPObservationSpace.contains()
      • BPObservationSpace.from_jsonable()
      • BPObservationSpace.np_random
      • BPObservationSpace.sample()
      • BPObservationSpace.seed()
      • BPObservationSpace.shape
      • BPObservationSpace.to_jsonable()
  • bppy.gym.simple_bp_observation_space module
    • SimpleBPObservationSpace
      • SimpleBPObservationSpace.bp_state_to_gym_space()
      • SimpleBPObservationSpace.compute_bthread_state_space()
  • Module contents
• bppy.model package
  • Subpackages
    • bppy.model.event_selection package
      • Submodules
      • bppy.model.event_selection.event_selection_strategy module
      • bppy.model.event_selection.experimental_smt_event_selection_strategy module
      • bppy.model.event_selection.priority_based_event_selection_strategy module
      • bppy.model.event_selection.rich_event_selection_strategy module
      • bppy.model.event_selection.simple_event_selection_strategy module
      • bppy.model.event_selection.smt_event_selection_strategy module
      • bppy.model.event_selection.solver_based_event_selection_strategy module
      • Module contents
  • Submodules
  • bppy.model.b_event module
    • BEvent
  • bppy.model.b_thread module
    • analysis_thread()
    • b_thread()
    • execution_thread()
    • thread()
  • bppy.model.bprogram module
    • BProgram
      • BProgram.add_bthread()
      • BProgram.advance_bthreads()
      • BProgram.enqueue_external_event()
      • BProgram.load_new_bthreads()
      • BProgram.next_event()
      • BProgram.run()
      • BProgram.setup()
  • bppy.model.event_set module
    • All
    • AllExcept
    • EmptyEventSet
    • EventSet
    • EventSetList
  • bppy.model.sync_statement module
    • choice
      • choice.options()
      • choice.sample()
    • sync
  • Module contents
• bppy.utils package
  • Submodules
  • bppy.utils.dfs module
    • DFSBProgram
      • DFSBProgram.run()
      • DFSBProgram.tickets_without_bt()
    • DFSBThread
      • DFSBThread.get_state()
      • DFSBThread.run()
    • Node
      • Node.get_key()
    • NodeList
  • bppy.utils.exceptions module
    • BPAssertionError
  • bppy.utils.weighted_sampling module
    • sequence_probability_nr_s()
    • weighted_sample_without_replacement()
  • bppy.utils.z3helper module
    • getVariables()
    • printVars()
    • toFloat()
    • visitor()
  • Module contents

Module contents