Module biodivine_lib_bdd::_impl_bdd::_impl_relation_ops
source · [−]Expand description
(internal) Implementation of extra operations which enable relation-like treatment of BDDs (quantification, selection, projection, partial element picking)
Functions
(internal) Helper function for sorting variable list arguments.