Searched defs:Workspace (Results 1 – 4 of 4) sorted by relevance
45 Workspace() {} in Workspace() function
3261 SmallVectorImpl<const Formula *> &Workspace, in SolveRecurse()3349 SmallVector<const Formula *, 8> Workspace; in Solve() local
4198 SmallVectorImpl<const Formula *> &Workspace, in SolveRecurse()4276 SmallVector<const Formula *, 8> Workspace; in Solve() local
4769 SmallVectorImpl<const Formula *> &Workspace, in SolveRecurse()4845 SmallVector<const Formula *, 8> Workspace; in Solve() local