Module biodivine_sketchbook::algorithms::eval_dynamic::_trap_spaces

Internal algorithms for trap space computation (adapted from lib-param-bn).

Functions

• colors_where_essential_traps
  Compute colors where each given observation corresponds to essential trap spaces.
• colors_where_minimal_traps
  Compute colors where each given observation corresponds to minimal trap spaces.
• compute_essential_trap_spaces
  Wrapper to compute all essential colored trap spaces (under an optional set restriction).
• compute_minimal_trap_spaces
  Wrapper to compute all minimal colored trap spaces (under an optional set restriction).
• encode_obs_as_singleton_space 🔒
  Utility to encode observation as a singleton “NetworkColoredSpaces” instance, i.e., a singleton space with all the colors.