Searched refs:vTerm (Results 1 – 3 of 3) sorted by relevance
141 def augmentSimultan(vTerm): argument143 for v in vTerm:177 vTerm = set()198 vTerm.add(t)208 if len(vTerm) > 0:220 return vTerm236 vTerm = hungarianDAG(U, V, similarityMatrix)237 if len(vTerm) == 0:239 augmentSimultan(vTerm)
57 /// Handles color using ANSI vTerm sequences
1845 SortedTerm vTerm = varIt.next(); in parseAsBuiltinFormulaSymbol() local1846 unsigned varIdx = vTerm.first.var(); in parseAsBuiltinFormulaSymbol()1847 unsigned sort = vTerm.second; in parseAsBuiltinFormulaSymbol()