bppy.utils package

Submodules

bppy.utils.dfs module

class bppy.utils.dfs.DFSBProgram(bprogram_generator, event_list=None, max_trace_length=1000)[source]

Bases: object

run(explore_graph=True)[source]

static tickets_without_bt(tickets)[source]

class bppy.utils.dfs.DFSBThread(bthread_gen, ess, event_list)[source]

Bases: object

get_state(prefix)[source]

run(return_requested_and_blocked=False)[source]

class bppy.utils.dfs.Node(prefix, data)[source]

Bases: object

get_key()[source]

class bppy.utils.dfs.NodeList(nodes, prefix)[source]: Bases: object

bppy.utils.exceptions module

exception bppy.utils.exceptions.BPAssertionError(msg, trace)[source]: Bases: AssertionError

bppy.utils.weighted_sampling module

bppy.utils.weighted_sampling.sequence_probability_nr_s(choice, sequence)[source]

bppy.utils.weighted_sampling.weighted_sample_without_replacement(population, weights, k=1)[source]

bppy.utils.z3helper module

bppy.utils.z3helper.getVariables(fml)[source]

bppy.utils.z3helper.printVars(fml)[source]

bppy.utils.z3helper.toFloat(r)[source]

bppy.utils.z3helper.visitor(e, seen)[source]

Module contents