Searched refs:VariablesB (Results 1 – 1 of 1) sorted by relevance
437 auto &VariablesB = BDec.Vars; in getConstraint() local455 for (const auto &KV : concat<DecompEntry>(VariablesA, VariablesB)) in getConstraint()475 for (const auto &KV : VariablesB) { in getConstraint()