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()[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.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