Index

A

action_space (bppy.gym.bp_env.BPEnv attribute) add_bthread() (bppy.model.bprogram.BProgram method) advance_bthreads() (bppy.model.bprogram.BProgram method)

All (class in bppy.model.event_set) AllExcept (class in bppy.model.event_set) assertion_failed() (bppy.execution.listeners.b_program_runner_listener.BProgramRunnerListener method) (bppy.execution.listeners.print_b_program_runner_listener.PrintBProgramRunnerListener method)

B

b_thread() (in module bppy.model.b_thread) b_thread_added() (bppy.execution.listeners.b_program_runner_listener.BProgramRunnerListener method) (bppy.execution.listeners.print_b_program_runner_listener.PrintBProgramRunnerListener method) b_thread_done() (bppy.execution.listeners.b_program_runner_listener.BProgramRunnerListener method) (bppy.execution.listeners.print_b_program_runner_listener.PrintBProgramRunnerListener method) b_thread_removed() (bppy.execution.listeners.b_program_runner_listener.BProgramRunnerListener method) (bppy.execution.listeners.print_b_program_runner_listener.PrintBProgramRunnerListener method) BEvent (class in bppy.model.b_event) bp_state_to_gym_space() (bppy.gym.bp_observation_space.BPObservationSpace method) (bppy.gym.simple_bp_observation_space.SimpleBPObservationSpace method) BPActionSpace (class in bppy.gym.bp_action_space) BPEnv (class in bppy.gym.bp_env) BPObservationSpace (class in bppy.gym.bp_observation_space) bppy module bppy.execution module bppy.execution.listeners module bppy.execution.listeners.b_program_runner_listener module bppy.execution.listeners.print_b_program_runner_listener module bppy.gym module bppy.gym.bp_action_space module bppy.gym.bp_env module bppy.gym.bp_observation_space module bppy.gym.simple_bp_observation_space module

bppy.model module bppy.model.b_event module bppy.model.b_thread module bppy.model.bprogram module bppy.model.event_selection module 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.simple_event_selection_strategy module bppy.model.event_selection.smt_event_selection_strategy module bppy.model.event_selection.solver_based_event_selection_strategy module bppy.model.event_set module bppy.model.sync_statement module bppy.utils module bppy.utils.dfs module bppy.utils.z3helper module BProgram (class in bppy.model.bprogram) BProgramRunnerListener (class in bppy.execution.listeners.b_program_runner_listener)

C

close() (bppy.gym.bp_env.BPEnv method) compute_bthread_state_space() (bppy.gym.simple_bp_observation_space.SimpleBPObservationSpace method)

contains() (bppy.gym.bp_action_space.BPActionSpace method) (bppy.gym.bp_observation_space.BPObservationSpace method)

D

DFSBThread (class in bppy.utils.dfs)

E

EmptyEventSet (class in bppy.model.event_set) ended() (bppy.execution.listeners.b_program_runner_listener.BProgramRunnerListener method) (bppy.execution.listeners.print_b_program_runner_listener.PrintBProgramRunnerListener method) enqueue_external_event() (bppy.model.bprogram.BProgram method) event_selected() (bppy.execution.listeners.b_program_runner_listener.BProgramRunnerListener method) (bppy.execution.listeners.print_b_program_runner_listener.PrintBProgramRunnerListener method)

EventSelectionStrategy (class in bppy.model.event_selection.event_selection_strategy) EventSet (class in bppy.model.event_set) EventSetList (class in bppy.model.event_set) ExperimentalSMTEventSelectionStrategy() (in module bppy.model.event_selection.experimental_smt_event_selection_strategy)

F

from_jsonable() (bppy.gym.bp_observation_space.BPObservationSpace method)

G

get_state() (bppy.utils.dfs.DFSBThread method)

getVariables() (in module bppy.utils.z3helper)

H

halted() (bppy.execution.listeners.b_program_runner_listener.BProgramRunnerListener method) (bppy.execution.listeners.print_b_program_runner_listener.PrintBProgramRunnerListener method)

I

is_satisfied() (bppy.model.event_selection.event_selection_strategy.EventSelectionStrategy method) (bppy.model.event_selection.simple_event_selection_strategy.SimpleEventSelectionStrategy method) (bppy.model.event_selection.smt_event_selection_strategy.SMTEventSelectionStrategy method) (bppy.model.event_selection.solver_based_event_selection_strategy.SolverBasedEventSelectionStrategy method)

L

load_new_bthreads() (bppy.model.bprogram.BProgram method)

M

module bppy bppy.execution bppy.execution.listeners bppy.execution.listeners.b_program_runner_listener bppy.execution.listeners.print_b_program_runner_listener bppy.gym bppy.gym.bp_action_space bppy.gym.bp_env bppy.gym.bp_observation_space bppy.gym.simple_bp_observation_space bppy.model bppy.model.b_event bppy.model.b_thread bppy.model.bprogram bppy.model.event_selection bppy.model.event_selection.event_selection_strategy bppy.model.event_selection.experimental_smt_event_selection_strategy bppy.model.event_selection.priority_based_event_selection_strategy bppy.model.event_selection.simple_event_selection_strategy bppy.model.event_selection.smt_event_selection_strategy bppy.model.event_selection.solver_based_event_selection_strategy bppy.model.event_set bppy.model.sync_statement bppy.utils bppy.utils.dfs bppy.utils.z3helper

N

next_event() (bppy.model.bprogram.BProgram method)

Node (class in bppy.utils.dfs) np_random (bppy.gym.bp_observation_space.BPObservationSpace property)

O

observation_space (bppy.gym.bp_env.BPEnv attribute)

P

PrintBProgramRunnerListener (class in bppy.execution.listeners.print_b_program_runner_listener)

printVars() (in module bppy.utils.z3helper) PriorityBasedEventSelectionStrategy (class in bppy.model.event_selection.priority_based_event_selection_strategy)

R

render() (bppy.gym.bp_env.BPEnv method) reset() (bppy.gym.bp_env.BPEnv method)

run() (bppy.model.bprogram.BProgram method) (bppy.utils.dfs.DFSBThread method)

S

sample() (bppy.gym.bp_action_space.BPActionSpace method) (bppy.gym.bp_observation_space.BPObservationSpace method) seed() (bppy.gym.bp_observation_space.BPObservationSpace method) select() (bppy.model.event_selection.event_selection_strategy.EventSelectionStrategy method) (bppy.model.event_selection.simple_event_selection_strategy.SimpleEventSelectionStrategy method) (bppy.model.event_selection.smt_event_selection_strategy.SMTEventSelectionStrategy method) (bppy.model.event_selection.solver_based_event_selection_strategy.SolverBasedEventSelectionStrategy method) selectable_events() (bppy.model.event_selection.priority_based_event_selection_strategy.PriorityBasedEventSelectionStrategy method) (bppy.model.event_selection.simple_event_selection_strategy.SimpleEventSelectionStrategy method) setup() (bppy.model.bprogram.BProgram method) shape (bppy.gym.bp_observation_space.BPObservationSpace property)

SimpleBPObservationSpace (class in bppy.gym.simple_bp_observation_space) SimpleEventSelectionStrategy (class in bppy.model.event_selection.simple_event_selection_strategy) SMTEventSelectionStrategy (class in bppy.model.event_selection.smt_event_selection_strategy) SolverBasedEventSelectionStrategy (class in bppy.model.event_selection.solver_based_event_selection_strategy) started() (bppy.execution.listeners.b_program_runner_listener.BProgramRunnerListener method) (bppy.execution.listeners.print_b_program_runner_listener.PrintBProgramRunnerListener method) starting() (bppy.execution.listeners.b_program_runner_listener.BProgramRunnerListener method) (bppy.execution.listeners.print_b_program_runner_listener.PrintBProgramRunnerListener method) step() (bppy.gym.bp_env.BPEnv method) super_step_done() (bppy.execution.listeners.b_program_runner_listener.BProgramRunnerListener method) (bppy.execution.listeners.print_b_program_runner_listener.PrintBProgramRunnerListener method)

T

to_jsonable() (bppy.gym.bp_observation_space.BPObservationSpace method)

toFloat() (in module bppy.utils.z3helper)

V

visitor() (in module bppy.utils.z3helper)