Searched refs:bGR (Results 1 – 18 of 18) sorted by relevance
812 DdNode * bGR = Cudd_Regular(bG); in extraZddGetSymmetricVars() local814 if ( cuddIsConstant(bFR) && cuddIsConstant(bGR) ) in extraZddGetSymmetricVars()834 int LevelG = cuddI(dd,bGR->index); in extraZddGetSymmetricVars()869 if ( bGR != bG ) // bG is complemented in extraZddGetSymmetricVars()871 bG0 = Cudd_Not( cuddE(bGR) ); in extraZddGetSymmetricVars()872 bG1 = Cudd_Not( cuddT(bGR) ); in extraZddGetSymmetricVars()876 bG0 = cuddE(bGR); in extraZddGetSymmetricVars()877 bG1 = cuddT(bGR); in extraZddGetSymmetricVars()
565 DdNode * bFR, * bGR; in extraBddSpaceFromFunction() local568 bGR = Cudd_Regular( bG ); in extraBddSpaceFromFunction()576 if ( cuddIsConstant(bGR) ) in extraBddSpaceFromFunction()597 LevelG = dd->perm[bGR->index]; in extraBddSpaceFromFunction()620 if ( bGR != bG ) in extraBddSpaceFromFunction()622 bG0 = Cudd_Not( cuddE(bGR) ); in extraBddSpaceFromFunction()623 bG1 = Cudd_Not( cuddT(bGR) ); in extraBddSpaceFromFunction()627 bG0 = cuddE(bGR); in extraBddSpaceFromFunction()628 bG1 = cuddT(bGR); in extraBddSpaceFromFunction()
841 5*L*K&LFLFL%5%R)L*"*A*bGR&&-@&d4LFLG"BKBK%4FQ9aF83")QCL*h*bFL&Q)
861 44hB8FR&44'BAFRBLGh)4%@35*L*K&LFLFL%5%R)L*"*A*bGR&&-@&d4LFLG"BKB
2017 wdNLQyZJ+bGR+P5VwNr4t1BrcWquY7Y/6Q27nHsM9BzXBaj4iiRry/gnjuFmfeVB53DnHr1Fd2Hy7211 wdNLQyZJ+bGR+P5VwNr4t1BrcWquY7Y/6Q27nHsM9BzXBaj4iiRry/gnjuFmfeVB53DnHr1Fd2Hy12405 wdNLQyZJ+bGR+P5VwNr4t1BrcWquY7Y/6Q27nHsM9BzXBaj4iiRry/gnjuFmfeVB53DnHr1Fd2Hy17599 wdNLQyZJ+bGR+P5VwNr4t1BrcWquY7Y/6Q27nHsM9BzXBaj4iiRry/gnjuFmfeVB53DnHr1Fd2Hy22793 wdNLQyZJ+bGR+P5VwNr4t1BrcWquY7Y/6Q27nHsM9BzXBaj4iiRry/gnjuFmfeVB53DnHr1Fd2Hy27987 wdNLQyZJ+bGR+P5VwNr4t1BrcWquY7Y/6Q27nHsM9BzXBaj4iiRry/gnjuFmfeVB53DnHr1Fd2Hy
952 8 lppZ//D%&*)*%[CV opgYM/D%&*)*%bGR l4GQM/D%&*)*%%Y opgY%0D&&*)*%YA-X lpgZ%0\
102015 7bGR?D9R
599406 bGR
646634 "7nn7S9Vt1VmLJ4/V+Kdu097kdXbHAgB4CAUYAAAAAABFkJN1UvXbdlOVOk3sjgIAuEghYRXU/bGR\\\n",