Skip to main content

compute_exit_set

vertep_core::kernel

Function compute_exit_set 

Source 
pub fn compute_exit_set(
    chart: &CompiledChart,
    config: &StateSet,
    history: &History,
    ts: &[TransIdx],
) -> StateSet
Expand description

computeExitSet: the active states that are proper descendants of the domains of the targeted transitions in ts.