Searched defs:Workspace (Results 1 – 1 of 1) sorted by relevance
4960 SmallVectorImpl<const Formula *> &Workspace, in SolveRecurse()5041 SmallVector<const Formula *, 8> Workspace; in Solve() local