Searched defs:VarM (Results 1 – 1 of 1) sorted by relevance
/dports/cad/abc/abc-a4518e6f833885c905964f1233d11e5b941ec24c/src/proof/fra/ |
H A D | fraClau.c | 475 int LitM, LitN, VarM, VarN, i, j, k; in Fra_ClauReduceClause() local 600 int LitM, VarM, VarN, i, j, k; in Fra_ClauPrintClause() local
|