Function biodivine_lib_bdd::_impl_bdd::_impl_relation_ops::sorted
source · [−]fn sorted(variables: &[BddVariable]) -> Vec<BddVariable>Expand description
(internal) Helper function for sorting variable list arguments.