Home
last modified time | relevance | path

Searched refs:BOTH_H (Results 1 – 4 of 4) sorted by relevance

/dports/math/py-brial/BRiAl-1.2.10/cudd/
H A DcuddDecomp.c80 #define BOTH_H 8 macro
969 return(BOTH_H); in PairInTables()
1010 if ((pairValue == BOTH_H) || (pairValue == H_ST)) { in CheckTablesCacheAndReturn()
1296 } else if (pairValue1 == BOTH_H) { in CheckInTables()
1348 } else if (pairValue2 == BOTH_H) { in CheckInTables()
/dports/math/cudd/cudd-3.0.0/cudd/
H A DcuddDecomp.c62 #define BOTH_H 8 macro
934 return(BOTH_H); in PairInTables()
974 if ((pairValue == BOTH_H) || (pairValue == H_ST)) { in CheckTablesCacheAndReturn()
1253 } else if (pairValue1 == BOTH_H) { in CheckInTables()
1305 } else if (pairValue2 == BOTH_H) { in CheckInTables()
/dports/math/brial/BRiAl-1.2.10/cudd/
H A DcuddDecomp.c80 #define BOTH_H 8 macro
969 return(BOTH_H); in PairInTables()
1010 if ((pairValue == BOTH_H) || (pairValue == H_ST)) { in CheckTablesCacheAndReturn()
1296 } else if (pairValue1 == BOTH_H) { in CheckInTables()
1348 } else if (pairValue2 == BOTH_H) { in CheckInTables()
/dports/cad/abc/abc-a4518e6f833885c905964f1233d11e5b941ec24c/src/bdd/cudd/
H A DcuddDecomp.c84 #define BOTH_H 8 macro
973 return(BOTH_H); in PairInTables()
1014 if ((pairValue == BOTH_H) || (pairValue == H_ST)) { in CheckTablesCacheAndReturn()
1300 } else if (pairValue1 == BOTH_H) { in CheckInTables()
1352 } else if (pairValue2 == BOTH_H) { in CheckInTables()