Searched defs:ClaActType (Results 1 – 2 of 2) sorted by relevance
| /dports/cad/abc/abc-a4518e6f833885c905964f1233d11e5b941ec24c/src/sat/bsat/ | ||
| H A D | satSolver3.h | 120 int ClaActType; member |
| H A D | satSolver.h | 121 int ClaActType; member |