Home
last modified time | relevance | path

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

/dports/cad/abc/abc-a4518e6f833885c905964f1233d11e5b941ec24c/src/bdd/cudd/
H A DcuddInt.h119 # define DD_CRI_LO_MARK (-(DD_CRI_HI_MARK))
979 … ((x) = ((x) >= DD_CRI_HI_MARK) ? DD_PLUS_INF_VAL : (((x) <= DD_CRI_LO_MARK) ? DD_MINUS_IN…
/dports/math/cudd/cudd-3.0.0/cudd/
H A DcuddInt.h86 # define DD_CRI_LO_MARK (-(DD_CRI_HI_MARK)) macro
996 #define cuddAdjust(x) ((x) = ((x) >= DD_CRI_HI_MARK) ? DD_PLUS_INF_VAL : (((x) <= DD_CRI_LO_MARK) …
/dports/math/py-brial/BRiAl-1.2.10/cudd/
H A DcuddInt.h142 # define DD_CRI_LO_MARK (-(DD_CRI_HI_MARK))
956 #define cuddAdjust(x) ((x) = ((x) >= DD_CRI_HI_MARK) ? DD_PLUS_INF_VAL : (((x) <= DD_CRI_LO_MARK) …
/dports/math/brial/BRiAl-1.2.10/cudd/
H A DcuddInt.h142 # define DD_CRI_LO_MARK (-(DD_CRI_HI_MARK))
956 #define cuddAdjust(x) ((x) = ((x) >= DD_CRI_HI_MARK) ? DD_PLUS_INF_VAL : (((x) <= DD_CRI_LO_MARK) …