fact package:hoopl
This utility function handles a common case in which a transfer
function for a last node takes the incoming fact unchanged and simply
distributes that fact over the outgoing edges.
This utility function handles a common case in which a backward
transfer function takes the incoming fact unchanged and tags it with
the node's label.
Deprecated: should be replaced by 'joinFacts lat l (successorFacts
n f)'; as is, it uses the wrong Label
mkFactBase creates a
FactBase from a list of
(
Label, fact) pairs. If the same label appears more than once,
the relevant facts are joined.
List of (unlabelled) facts from the successors of a last node