def bits.idle

bend-kit-regex@0.8.0.0 · regex.bend:1239

import bend-kit-regex@0.8.0.0/regex.bend as Regex

import Base

1239# Only the sets live at a fresh start wait on c, and c starts none of them: nothing moves.
1240def bits.idle(start: Maybe<&2, List<&2, Inst>>, +cur: U32, +atn: U32, +c: U32) -> Bool:
1241  match start:
1242    case None{}:
1243      False{}
1244    case Some{sets}:
1245      U32.is_eq(cur, atn) && Bool.not(starts(sets, c))

Uses (9)

Used by (2)