Searched defs:pPerms4 (Results 1 – 7 of 7) sorted by relevance
313 char ** pPerms4, * uPhases, * uPerms; in Dar_Truth4VarNPN() local
111 char ** pPerms4; member
298 char ** pPerms4, * uPhases, * uPerms; in Dar_Truth4VarNPN() local
101 char ** pPerms4; member
60 char ** pPerms4; // four-var permutations member
68 char ** pPerms4; // four-var permutations member
648 char ** pPerms4, * uPhases, * uPerms; in Extra_Truth4VarNPN() local