Searched defs:Workspace (Results 1 – 2 of 2) sorted by relevance
150 WorkEntrySType Workspace; variable
5069 SmallVectorImpl<const Formula *> &Workspace, in SolveRecurse()5150 SmallVector<const Formula *, 8> Workspace; in Solve() local