Module biodivine_lib_bdd::_impl_bdd::_impl_relation_ops

(internal) Implementation of extra operations which enable relation-like treatment of BDDs (quantification, selection, projection, partial element picking)

Functions

sorted

(internal) Helper function for sorting variable list arguments.