Home
last modified time | relevance | path

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

/dports/math/py-graphillion/Graphillion-1.3/src/SAPPOROBDD/
H A Dbddc.c36 #define BC_AND 1 macro
401 case BC_AND: in bddgc()
803 return apply(f, g, BC_AND, 0);
1641 case BC_AND:
1856 case BC_AND:
1988 case BC_AND:
2028 h = apply(h0, h1, BC_AND, 0);
2061 apply(B_NOT(h0), B_NOT(h1), BC_AND, 0);
2434 key = B_CACHEKEY(BC_AND, f, g);
2436 if(cachep->op == BC_AND &&
[all …]