334 word Dau_Dsd6TruthCompose_rec( word Func, word * pFanins, int nVars )  in Dau_Dsd6TruthCompose_rec()  argument
345         return (Func == s_Truths6[0]) ? pFanins[0] : ~pFanins[0];  in Dau_Dsd6TruthCompose_rec()
348         return Dau_Dsd6TruthCompose_rec( Func, pFanins, nVars );  in Dau_Dsd6TruthCompose_rec()
349     t0 = Dau_Dsd6TruthCompose_rec( Abc_Tt6Cofactor0(Func, nVars), pFanins, nVars );  in Dau_Dsd6TruthCompose_rec()
350     t1 = Dau_Dsd6TruthCompose_rec( Abc_Tt6Cofactor1(Func, nVars), pFanins, nVars );  in Dau_Dsd6TruthCompose_rec()
351     return (~pFanins[nVars] & t0) | (pFanins[nVars] & t1);  in Dau_Dsd6TruthCompose_rec()
469 void Dau_DsdTruth6Compose_rec( word Func, word pFanins[DAU_MAX_VAR][DAU_MAX_WORD], word * pRes, int…  in Dau_DsdTruth6Compose_rec()
485         Abc_TtCopy( pRes, pFanins[0], nWordsR, Func == s_Truths6Neg[0] );  in Dau_DsdTruth6Compose_rec()
490         Dau_DsdTruth6Compose_rec( Func, pFanins, pRes, nVars, nWordsR );  in Dau_DsdTruth6Compose_rec()
495 …    Dau_DsdTruth6Compose_rec( Abc_Tt6Cofactor0(Func, nVars), pFanins, pTtTemp[0], nVars, nWordsR );  in Dau_DsdTruth6Compose_rec()
496 …    Dau_DsdTruth6Compose_rec( Abc_Tt6Cofactor1(Func, nVars), pFanins, pTtTemp[1], nVars, nWordsR );  in Dau_DsdTruth6Compose_rec()
497         Abc_TtMux( pRes, pFanins[nVars], pTtTemp[1], pTtTemp[0], nWordsR );  in Dau_DsdTruth6Compose_rec()
501 void Dau_DsdTruthCompose_rec( word * pFunc, word pFanins[DAU_MAX_VAR][DAU_MAX_WORD], word * pRes, i…  in Dau_DsdTruthCompose_rec()
506         Dau_DsdTruth6Compose_rec( pFunc[0], pFanins, pRes, nVars, nWordsR );  in Dau_DsdTruthCompose_rec()
523         Dau_DsdTruthCompose_rec( pFunc, pFanins, pRes, nVars-1, nWordsR );  in Dau_DsdTruthCompose_rec()
529         Dau_DsdTruthCompose_rec( pFunc,             pFanins, pTtTemp[0], nVars, nWordsR );  in Dau_DsdTruthCompose_rec()
530         Dau_DsdTruthCompose_rec( pFunc + nWordsF/2, pFanins, pTtTemp[1], nVars, nWordsR );  in Dau_DsdTruthCompose_rec()
531         Abc_TtMux( pRes, pFanins[nVars], pTtTemp[1], pTtTemp[0], nWordsR );  in Dau_DsdTruthCompose_rec()
593         word pFanins[DAU_MAX_VAR][DAU_MAX_WORD], pFunc[DAU_MAX_WORD];  in Dau_DsdToTruth_rec()  local
600             Dau_DsdToTruth_rec( pStr, p, pMatches, pTtElems, pFanins[i], nVars );  in Dau_DsdToTruth_rec()
603         Dau_DsdTruthCompose_rec( pFunc, pFanins, pRes, nVarsF, nWords );  in Dau_DsdToTruth_rec()