Function biodivine_lib_param_bn::symbolic_async_graph::_impl_symbolic_context::network_symbolic_size

fn network_symbolic_size(network: &BooleanNetwork) -> u32

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

Note that this actually also verifies that arity of every function is at most u16, because anything larger would trigger overflow anyway.