Function biodivine_lib_bdd::_impl_bdd::_impl_boolean_ops::check_flip_bounds

pub(in _impl_bdd::_impl_boolean_ops) fn check_flip_bounds(
    num_vars: u16, 
    var: Option<BddVariable>
)

(internal) A simple utility method for checking bounds of a flip variable.