Home
last modified time | relevance | path

Searched refs:xsymmy (Results 1 – 8 of 8) sorted by relevance

/dports/math/py-brial/BRiAl-1.2.10/cudd/
H A DcuddSymmetry.c195 int xsymmy; /* x and y may be positively symmetric */ in cuddSymmCheck() local
223 xsymmy = xsymmyp = 1; in cuddSymmCheck()
259 xsymmy &= f01 == f10; in cuddSymmCheck()
261 if ((xsymmy == 0) && (xsymmyp == 0)) in cuddSymmCheck()
H A DcuddZddSymm.c201 int xsymmy = 1; in cuddZddSymmCheck() local
238 xsymmy = 0; in cuddZddSymmCheck()
241 if ((xsymmy == 0) && (xsymmyp == 0)) in cuddZddSymmCheck()
/dports/math/cudd/cudd-3.0.0/cudd/
H A DcuddSymmetry.c162 int xsymmy; /* x and y may be positively symmetric */ in cuddSymmCheck() local
190 xsymmy = xsymmyp = 1; in cuddSymmCheck()
226 xsymmy &= f01 == f10; in cuddSymmCheck()
228 if ((xsymmy == 0) && (xsymmyp == 0)) in cuddSymmCheck()
H A DcuddZddSymm.c161 int xsymmy = 1; in cuddZddSymmCheck() local
197 xsymmy = 0; in cuddZddSymmCheck()
200 if ((xsymmy == 0) && (xsymmyp == 0)) in cuddZddSymmCheck()
/dports/math/brial/BRiAl-1.2.10/cudd/
H A DcuddSymmetry.c195 int xsymmy; /* x and y may be positively symmetric */ in cuddSymmCheck() local
223 xsymmy = xsymmyp = 1; in cuddSymmCheck()
259 xsymmy &= f01 == f10; in cuddSymmCheck()
261 if ((xsymmy == 0) && (xsymmyp == 0)) in cuddSymmCheck()
H A DcuddZddSymm.c201 int xsymmy = 1; in cuddZddSymmCheck() local
238 xsymmy = 0; in cuddZddSymmCheck()
241 if ((xsymmy == 0) && (xsymmyp == 0)) in cuddZddSymmCheck()
/dports/cad/abc/abc-a4518e6f833885c905964f1233d11e5b941ec24c/src/bdd/cudd/
H A DcuddSymmetry.c199 int xsymmy; /* x and y may be positively symmetric */ in cuddSymmCheck() local
227 xsymmy = xsymmyp = 1; in cuddSymmCheck()
263 xsymmy &= f01 == f10; in cuddSymmCheck()
265 if ((xsymmy == 0) && (xsymmyp == 0)) in cuddSymmCheck()
H A DcuddZddSymm.c205 int xsymmy = 1; in cuddZddSymmCheck() local
242 xsymmy = 0; in cuddZddSymmCheck()
245 if ((xsymmy == 0) && (xsymmyp == 0)) in cuddZddSymmCheck()