Searched refs:Hop_CreateAnd (Results 1 – 5 of 5) sorted by relevance
320 Hop_Obj_t * Hop_CreateAnd( Hop_Man_t * p, int nVars ) in Hop_CreateAnd() function
319 extern Hop_Obj_t * Hop_CreateAnd( Hop_Man_t * p, int nVars );
465 pRes = Hop_CreateAnd( (Hop_Man_t *)pMan, Vec_PtrSize(vNames)/2 ); in Ver_FormulaReduction()
1405 pNode->pData = Hop_CreateAnd( (Hop_Man_t *)pNtk->pManFunc, Abc_ObjFaninNum(pNode) ); in Ver_ParseGateStandard()1411 pNode->pData = Hop_CreateAnd( (Hop_Man_t *)pNtk->pManFunc, Abc_ObjFaninNum(pNode) ); in Ver_ParseGateStandard()
752 pNode->pData = Hop_CreateAnd( (Hop_Man_t *)pNtk->pManFunc, Vec_PtrSize(vFanins) ); in Abc_NtkCreateNodeAnd()