3.8
loopbounds.pl
loop_bounds
(
+Info, -InfoInner, -InfoPost, +Fs, -Fs_Annot
)
[det]
expr_constr
(
+Expr, +AM, -Expr1
)
AM
is (Analysisresult-Map)
loop_constraints
(
+Fs, -Fs_Annot, +RootMarker, +Map
)