Function biodivine_lib_param_bn::symbolic_async_graph::_impl_symbolic_context::arity_to_row_count

source · [−]
fn arity_to_row_count(arity: u32) -> u32
Expand description

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