Searched defs:nrBindings (Results 1 – 3 of 3) sorted by relevance
54 int nrBindings = bindings.length(); in markReachableNodes() local107 int nrBindings = bindings.length(); in dump() local127 int nrBindings = bindings.length(); in dump() local
368 int nrBindings = oldVariantSubstitution.size(); in traceVariantNarrowingStep() local382 int nrBindings = newVariantSubstitution.size(); in traceVariantNarrowingStep() local
557 int nrBindings = args.size(); in upSmtSubstitution() local