Searched refs:Kit_CubeSharp (Results 1 – 4 of 4) sorted by relevance
| /dports/math/stp/stp-2.3.3/lib/extlib-abc/aig/kit/ |
| H A D | kitSop.c | 176 Kit_SopPushCube( vQuo, Kit_CubeSharp(uCube, uDiv) ); in Kit_SopDivideByCube()
223 uQuo = Kit_CubeSharp( uCube, uDiv ); in Kit_SopDivideInternal()
237 if ( Kit_CubeContains( uCube2, uDiv2 ) && uQuo == Kit_CubeSharp( uCube2, uDiv2 ) ) in Kit_SopDivideInternal()
264 if ( Kit_CubeContains( uCube2, uDiv2 ) && uQuo == Kit_CubeSharp( uCube2, uDiv2 ) ) in Kit_SopDivideInternal()
333 Kit_SopWriteCube( cSop, Kit_CubeSharp(uCube, uMask), i ); in Kit_SopMakeCubeFree()
|
| /dports/cad/abc/abc-a4518e6f833885c905964f1233d11e5b941ec24c/src/bool/kit/ |
| H A D | kitSop.c | 161 Kit_SopPushCube( vQuo, Kit_CubeSharp(uCube, uDiv) ); in Kit_SopDivideByCube()
210 uQuo = Kit_CubeSharp( uCube, uDiv ); in Kit_SopDivideInternal()
224 if ( Kit_CubeContains( uCube2, uDiv2 ) && uQuo == Kit_CubeSharp( uCube2, uDiv2 ) ) in Kit_SopDivideInternal()
251 if ( Kit_CubeContains( uCube2, uDiv2 ) && uQuo == Kit_CubeSharp( uCube2, uDiv2 ) ) in Kit_SopDivideInternal()
320 Kit_SopWriteCube( cSop, Kit_CubeSharp(uCube, uMask), i ); in Kit_SopMakeCubeFree()
|
| H A D | kit.h | 184 static inline unsigned Kit_CubeSharp( unsigned uCube, unsigned uMask ) { return … in Kit_CubeSharp() function
|
| /dports/math/stp/stp-2.3.3/lib/extlib-abc/ |
| H A D | kit.h | 214 static inline unsigned Kit_CubeSharp( unsigned uCube, unsigned uMask ) { return … in Kit_CubeSharp() function
|