Module biodivine_lib_param_bn::symbolic_async_graph::_impl_symbolic_context

source · [−]
Expand description

(internal) Implementation of the SymbolicContext.

Functions

arity_to_row_count

(internal) Compute the number of rows necessary to represent a function with given arity.

network_symbolic_size

(internal) Compute the number of symbolic variables necessary to represent the given network, or u32::MAX in case of overflow.