pub fn reachable_configurations(
chart: &Chart,
limit: usize,
) -> Result<Vec<BTreeSet<String>>, usize>Expand description
The configurations reachable in chart, ignoring guards (an over-approximation): every
legal configuration of its state structure, as sets of state ids.
ยงErrors
The number of configurations found so far when it exceeds limit.