Searched refs:usedAsgn (Results 1 – 1 of 1) sorted by relevance
542 usedVariables = Set.unions (retSWs : map usedCgVal outVars ++ map usedAsgn assignments)547 usedAsgn (_, SBVApp o ss) = Set.union (opSWs o) (Set.fromList ss) function