Searched refs:Ses_ManGateVar (Results 1 – 1 of 1) sorted by relevance
| /dports/cad/abc/abc-a4518e6f833885c905964f1233d11e5b941ec24c/src/base/abci/ |
| H A D | abcExact.c | 984 static inline int Ses_ManGateVar( Ses_Man_t * pSes, int i, int p, int q ) in Ses_ManGateVar() function
1272 pLits[0] = Abc_Var2Lit( Ses_ManGateVar( pSes, i, 0, 1 ), 1 ); in Ses_ManCreateClauses()
1273 pLits[1] = Abc_Var2Lit( Ses_ManGateVar( pSes, i, 1, 0 ), 1 ); in Ses_ManCreateClauses()
1274 pLits[2] = Abc_Var2Lit( Ses_ManGateVar( pSes, i, 1, 1 ), 0 ); in Ses_ManCreateClauses()
1277 pLits[0] = Abc_Var2Lit( Ses_ManGateVar( pSes, i, 0, 1 ), 1 ); in Ses_ManCreateClauses()
1278 pLits[1] = Abc_Var2Lit( Ses_ManGateVar( pSes, i, 1, 0 ), 0 ); in Ses_ManCreateClauses()
1279 pLits[2] = Abc_Var2Lit( Ses_ManGateVar( pSes, i, 1, 1 ), 1 ); in Ses_ManCreateClauses()
1282 pLits[0] = Abc_Var2Lit( Ses_ManGateVar( pSes, i, 0, 1 ), 0 ); in Ses_ManCreateClauses()
1283 pLits[1] = Abc_Var2Lit( Ses_ManGateVar( pSes, i, 1, 0 ), 1 ); in Ses_ManCreateClauses()
1284 pLits[2] = Abc_Var2Lit( Ses_ManGateVar( pSes, i, 1, 1 ), 1 ); in Ses_ManCreateClauses()
[all …]
|