Lines Matching defs:inc
254 | fold inc acc ((0,stack,net) :: rest) =
255 fold inc (inc (stackValue stack, net, acc)) rest
256 | fold inc acc ((n, stack, Single (qtm,net)) :: rest) =
257 fold inc acc ((n - 1, stackAddQterm qtm stack, net) :: rest)
258 | fold inc acc ((n, stack, Multiple (v,fns)) :: rest) =
270 fold inc acc (NameArityMap.foldr getFns rest fns)
274 fun foldTerms inc acc net = fold inc acc [(1,stackEmpty,net)];
277 fun foldEqualTerms pat inc acc =
279 fun fold ([],net) = inc (pat,net,acc)
295 | fold inc acc (([],stack,net) :: rest) =
296 fold inc (inc (stackValue stack, net, acc)) rest
297 | fold inc acc ((Var :: pats, stack, net) :: rest) =
301 fold inc acc (foldTerms harvest rest net)
303 | fold inc acc ((pat :: pats, stack, Single (qtm,net)) :: rest) =
305 NONE => fold inc acc rest
307 fold inc acc ((pats, stackAddQterm qtm stack, net) :: rest))
309 inc acc
322 fold inc acc rest
326 fun foldUnifiableTerms pat inc acc net =
327 fold inc acc [([pat],stackEmpty,net)];
406 fun inc qsub v tms (qtm,net,rest) =
417 NONE => mat acc (foldTerms (inc qsub v tms) rest net)
418 | SOME qtm => mat acc (foldUnifiableTerms qtm (inc qsub v tms) rest net))
443 fun inc (qtm, Result l, acc) =
445 | inc _ = raise Bug "TermNet.pp.inc";
449 finally parm (foldTerms inc [] net);