Module biodivine_sketchbook::algorithms::eval_dynamic::_attractors::xie_beerel

source ·
Expand description

Xie-Beerel TSCC algorithm

Functions§

  • xie_beerel_attractors
    Uses a simplified Xie-Beerel algorithm adapted to coloured setting to find all bottom SCCs in the given universe set. It only tests transitions using active_variables.