Lines Matching defs:EmptyShell
1478 EmptyShell) { in CreateEmpty() argument
1516 EmptyShell) { in CreateEmpty() argument
1562 EmptyShell) { in CreateEmpty() argument
1608 EmptyShell) { in CreateEmpty() argument
1633 EmptyShell) { in CreateEmpty() argument
1654 EmptyShell) { in CreateEmpty() argument
1679 EmptyShell) { in CreateEmpty() argument
1700 EmptyShell) { in CreateEmpty() argument
1720 EmptyShell) { in CreateEmpty() argument
1762 unsigned CollapsedNum, EmptyShell) { in CreateEmpty() argument
1807 unsigned CollapsedNum, EmptyShell) { in CreateEmpty() argument
1832 unsigned NumClauses, EmptyShell) { in CreateEmpty() argument
1858 EmptyShell) { in CreateEmpty() argument
1876 EmptyShell) { in CreateEmpty() argument
1890 EmptyShell) { in CreateEmpty() argument
1904 EmptyShell) { in CreateEmpty() argument
1924 EmptyShell) { in CreateEmpty() argument
1944 EmptyShell) { in CreateEmpty() argument
1971 EmptyShell) { in CreateEmpty() argument
1997 EmptyShell) { in CreateEmpty() argument
2023 EmptyShell) { in CreateEmpty() argument