Function biodivine_lib_bdd::_impl_bdd::_impl_boolean_ops::check_flip_bounds
source · [−]fn check_flip_bounds(num_vars: u16, var: Option<BddVariable>)Expand description
(internal) A simple utility method for checking bounds of a flip variable.