Home | History | Annotate | Download | only in sepolgen

Lines Matching refs:lookbacks

1429     # Loop over all transitions and compute lookbacks and includes
1575 # Inputs: lookbacks - Set of lookback relations
1579 # in the lookbacks set
1582 def add_lookaheads(lookbacks,followset):
1583 for trans,lb in lookbacks.items():