Home
last modified time | relevance | path

Searched refs:DD_P1 (Results 1 – 14 of 14) sorted by relevance

/dports/cad/abc/abc-a4518e6f833885c905964f1233d11e5b941ec24c/src/bool/kit/
H A Dcloud.h177 #define DD_P1 12582917 macro
181 #define cloudHashCudd2(f,g,s) ((((unsigned)(ABC_PTRUINT_T)(f) * DD_P1 + (unsigned)(ABC_PTRUI…
182 #define cloudHashCudd3(f,g,h,s) (((((unsigned)(ABC_PTRUINT_T)(f) * DD_P1 + (unsigned)(ABC_PTRU…
/dports/cad/abc/abc-a4518e6f833885c905964f1233d11e5b941ec24c/src/bdd/extrab/
H A DextraBdd.h87 (((ABC_PTRUINT_T)(a) + (ABC_PTRUINT_T)(b) * DD_P1) % TSIZE)
90 (((((ABC_PTRUINT_T)(a) + (ABC_PTRUINT_T)(b)) * DD_P1 + (ABC_PTRUINT_T)(c)) * DD_P2 ) % TSIZE)
93 ((((((ABC_PTRUINT_T)(a) + (ABC_PTRUINT_T)(b)) * DD_P1 + (ABC_PTRUINT_T)(c)) * DD_P2 + \
97 (((((((ABC_PTRUINT_T)(a) + (ABC_PTRUINT_T)(b)) * DD_P1 + (ABC_PTRUINT_T)(c)) * DD_P2 + \
98 (ABC_PTRUINT_T)(d)) * DD_P3 + (ABC_PTRUINT_T)(e)) * DD_P1) % TSIZE)
/dports/cad/abc/abc-a4518e6f833885c905964f1233d11e5b941ec24c/src/bdd/cudd/
H A DcuddInt.h155 #define DD_P1 12582917 macro
734 ((((unsigned)(ptruint)(f) * DD_P1 + \
738 ((((unsigned)(f) * DD_P1 + (unsigned)(g)) * DD_P2) >> (s))
780 (((((unsigned)(ptruint)(f) + (unsigned)(ptruint)(o)) * DD_P1 + \
783 (((((unsigned)(ptruint)(f) + (unsigned)(ptruint)(o)) * DD_P1 + \
787 (((((unsigned)(f) + (unsigned)(o)) * DD_P1 + (unsigned)(g)) * DD_P2) >> (s))
789 (((((unsigned)(f) + (unsigned)(o)) * DD_P1 + (unsigned)(g)) * DD_P2))
H A DcuddLevelQ.c126 (((unsigned)(ptruint)(key) * DD_P1) >> (shift))
129 (((unsigned)(key) * DD_P1) >> (shift))
H A DcuddLCache.c123 ((((unsigned)(ptruint)(f) * DD_P1 + \
127 ((((unsigned)(f) * DD_P1 + (unsigned)(g)) * DD_P2) >> (shift))
1191 val = val * DD_P1 + (int) (ptrint) key[i]; in ddLCHash()
/dports/math/cudd/cudd-3.0.0/cudd/
H A DcuddInt.h122 #define DD_P1 12582917 macro
800 ((((unsigned)(ptruint)(f) * DD_P1 + \
804 ((((unsigned)(f) * DD_P1 + (unsigned)(g)) * DD_P2) >> (s))
818 ((((((unsigned)(ptruint)(f) + (unsigned)(ptruint)(o)) * DD_P1 + \
823 ((((((unsigned)(f) + (unsigned)(o)) * DD_P1 + (unsigned)(g)) * DD_P2 + \
838 (((((unsigned)(ptruint)(f) + (unsigned)(ptruint)(o)) * DD_P1 + \
842 (((((unsigned)(f) + (unsigned)(o)) * DD_P1 + (unsigned)(g)) * DD_P2) >> (s))
H A DcuddLevelQ.c101 (((unsigned)(ptruint)(key) * DD_P1) >> (shift))
104 (((unsigned)(key) * DD_P1) >> (shift))
H A DcuddLCache.c84 (((unsigned)(ptruint)(f) * DD_P1) >> (shift))
87 (((unsigned)(f) * DD_P1) >> (shift))
101 ((((unsigned)(ptruint)(f) * DD_P1 + \
105 ((((unsigned)(f) * DD_P1 + (unsigned)(g)) * DD_P2) >> (shift))
1241 val = val * DD_P1 + (int) (ptrint) key[i]; in ddLCHash()
/dports/math/py-brial/BRiAl-1.2.10/cudd/
H A DcuddInt.h178 #define DD_P1 12582917 macro
717 ((((unsigned)(ptruint)(f) * DD_P1 + \
721 ((((unsigned)(f) * DD_P1 + (unsigned)(g)) * DD_P2) >> (s))
738 ((((((unsigned)(ptruint)(f) + (unsigned)(ptruint)(o)) * DD_P1 + \
743 ((((((unsigned)(f) + (unsigned)(o)) * DD_P1 + (unsigned)(g)) * DD_P2 + \
762 (((((unsigned)(ptruint)(f) + (unsigned)(ptruint)(o)) * DD_P1 + \
766 (((((unsigned)(f) + (unsigned)(o)) * DD_P1 + (unsigned)(g)) * DD_P2) >> (s))
H A DcuddLevelQ.c124 (((unsigned)(ptruint)(key) * DD_P1) >> (shift))
127 (((unsigned)(key) * DD_P1) >> (shift))
H A DcuddLCache.c126 (((unsigned)(ptruint)(f) * DD_P1) >> (shift))
129 (((unsigned)(f) * DD_P1) >> (shift))
146 ((((unsigned)(ptruint)(f) * DD_P1 + \
150 ((((unsigned)(f) * DD_P1 + (unsigned)(g)) * DD_P2) >> (shift))
1326 val = val * DD_P1 + (int) (ptrint) key[i]; in ddLCHash()
/dports/math/brial/BRiAl-1.2.10/cudd/
H A DcuddInt.h178 #define DD_P1 12582917 macro
717 ((((unsigned)(ptruint)(f) * DD_P1 + \
721 ((((unsigned)(f) * DD_P1 + (unsigned)(g)) * DD_P2) >> (s))
738 ((((((unsigned)(ptruint)(f) + (unsigned)(ptruint)(o)) * DD_P1 + \
743 ((((((unsigned)(f) + (unsigned)(o)) * DD_P1 + (unsigned)(g)) * DD_P2 + \
762 (((((unsigned)(ptruint)(f) + (unsigned)(ptruint)(o)) * DD_P1 + \
766 (((((unsigned)(f) + (unsigned)(o)) * DD_P1 + (unsigned)(g)) * DD_P2) >> (s))
H A DcuddLevelQ.c124 (((unsigned)(ptruint)(key) * DD_P1) >> (shift))
127 (((unsigned)(key) * DD_P1) >> (shift))
H A DcuddLCache.c126 (((unsigned)(ptruint)(f) * DD_P1) >> (shift))
129 (((unsigned)(f) * DD_P1) >> (shift))
146 ((((unsigned)(ptruint)(f) * DD_P1 + \
150 ((((unsigned)(f) * DD_P1 + (unsigned)(g)) * DD_P2) >> (shift))
1326 val = val * DD_P1 + (int) (ptrint) key[i]; in ddLCHash()