/dports/cad/abc/abc-a4518e6f833885c905964f1233d11e5b941ec24c/src/proof/fra/ |
H A D | fraHot.c | 94 int Fra_OneHotNodesAreClause( Fra_Sml_t * pSeq, Aig_Obj_t * pObj1, Aig_Obj_t * pObj2, int fCompl1, … in Fra_OneHotNodesAreClause() 138 Aig_Obj_t * pObj1, * pObj2; in Fra_OneHotCompute() local 193 Aig_Obj_t * pObj1, * pObj2; in Fra_OneHotAssume() local 231 Aig_Obj_t * pObj1, * pObj2; in Fra_OneHotCheck() local 268 Aig_Obj_t * pObj1, * pObj2; in Fra_OneHotRefineUsingCex() local 401 Aig_Obj_t * pObj1, * pObj2, * pObj; in Fra_OneHotCreateExdc() local 442 Aig_Obj_t * pObj1, * pObj2; in Fra_OneHotAddKnownConstraint() local
|
/dports/cad/abc/abc-a4518e6f833885c905964f1233d11e5b941ec24c/src/aig/aig/ |
H A D | aigInter.c | 55 Aig_Obj_t * pObj, * pObj2; in Aig_ManInterFast() local 157 Aig_Obj_t * pObj, * pObj2; in Aig_ManInter() local
|
H A D | aigCheck.c | 47 Aig_Obj_t * pObj, * pObj2; in Aig_ManCheck() local
|
/dports/cad/abc/abc-a4518e6f833885c905964f1233d11e5b941ec24c/src/base/wlc/ |
H A D | wlcUif.c | 89 int Wlc_NtkPairIsUifable( Wlc_Ntk_t * p, Wlc_Obj_t * pObj, Wlc_Obj_t * pObj2 ) in Wlc_NtkPairIsUifable() 149 Wlc_Obj_t * pObj, * pObj2; int i, k; in Wlc_NtkFindUifableMultiplierPairs() local 240 Wlc_Obj_t * pObj, * pObj2; in Wlc_NtkUifNodePairs() local
|
/dports/math/stp/stp-2.3.3/lib/extlib-abc/aig/dar/ |
H A D | darBalance.c | 262 Aig_Obj_t * pObj1, * pObj2; in Dar_BalanceBuildSuper() local 337 Aig_Obj_t * pObj1, * pObj2, * pObj3, * pGhost; in Dar_BalancePermute() local 395 Aig_Obj_t * pObj1, * pObj2; in Dar_BalancePushUniqueOrderByLevel() local
|
/dports/cad/abc/abc-a4518e6f833885c905964f1233d11e5b941ec24c/src/aig/hop/ |
H A D | hopBalance.c | 245 Hop_Obj_t * pObj1, * pObj2; in Hop_NodeBalanceBuildSuper() local 320 Hop_Obj_t * pObj1, * pObj2, * pObj3, * pGhost; in Hop_NodeBalancePermute() local 378 Hop_Obj_t * pObj1, * pObj2; in Hop_NodeBalancePushUniqueOrderByLevel() local
|
H A D | hopCheck.c | 47 Hop_Obj_t * pObj, * pObj2; in Hop_ManCheck() local
|
/dports/cad/abc/abc-a4518e6f833885c905964f1233d11e5b941ec24c/src/aig/ivy/ |
H A D | ivyBalance.c | 177 Ivy_Obj_t * pObj1, * pObj2; in Ivy_NodeBalanceBuildSuper() local 333 Ivy_Obj_t * pObj1, * pObj2, * pObj3, * pGhost; in Ivy_NodeBalancePermute() local 391 Ivy_Obj_t * pObj1, * pObj2; in Ivy_NodeBalancePushUniqueOrderByLevel() local
|
H A D | ivyCheck.c | 47 Ivy_Obj_t * pObj, * pObj2; in Ivy_ManCheck() local
|
H A D | ivyOper.c | 227 Ivy_Obj_t * pObj1, * pObj2; in Ivy_Multi_rec() local
|
/dports/math/stp/stp-2.3.3/lib/extlib-abc/aig/aig/ |
H A D | aigCheck.c | 62 Aig_Obj_t * pObj, * pObj2; in Aig_ManCheck() local
|
/dports/cad/abc/abc-a4518e6f833885c905964f1233d11e5b941ec24c/src/opt/dar/ |
H A D | darBalance.c | 276 Aig_Obj_t * pObj1, * pObj2, * pObj3, * pGhost; in Dar_BalancePermute() local 368 Aig_Obj_t * pObj1, * pObj2; in Dar_BalancePushUniqueOrderByLevel() local 401 Aig_Obj_t * pObj1, * pObj2; in Dar_BalanceBuildSuper() local
|
/dports/cad/abc/abc-a4518e6f833885c905964f1233d11e5b941ec24c/src/aig/saig/ |
H A D | saigConstr.c | 135 Aig_Obj_t * pObj, * pObj2; in Saig_ManDetectConstrCheckCont() local 161 Aig_Obj_t * pObj, * pObj2, * pFlop; in Saig_ManDetectConstr() local
|
/dports/games/openclonk/openclonk-release-8.1-src/src/object/ |
H A D | C4ObjectMenu.cpp | 164 C4Object *pObj2=pTarget->Contents.Find(pDef, ANY_OWNER, OCF_FullCon); in DoRefillInternal() local 201 C4Object *pObj2 = pTarget->Contents.Find(pDef, ANY_OWNER, OCF_FullCon); in DoRefillInternal() local
|
H A D | C4FindObject.cpp | 969 int32_t C4SortObjectByValue::Compare(C4Object *pObj1, C4Object *pObj2) in Compare() 979 …t C4SortObjectByValue::CompareCache(int32_t iObj1, int32_t iObj2, C4Object *pObj1, C4Object *pObj2) in CompareCache() 991 int32_t C4SortObjectReverse::Compare(C4Object *pObj1, C4Object *pObj2) in Compare() 1001 …t C4SortObjectReverse::CompareCache(int32_t iObj1, int32_t iObj2, C4Object *pObj1, C4Object *pObj2) in CompareCache() 1012 int32_t C4SortObjectMultiple::Compare(C4Object *pObj1, C4Object *pObj2) in Compare() 1032 … C4SortObjectMultiple::CompareCache(int32_t iObj1, int32_t iObj2, C4Object *pObj1, C4Object *pObj2) in CompareCache()
|
/dports/cad/abc/abc-a4518e6f833885c905964f1233d11e5b941ec24c/src/opt/mfs/ |
H A D | mfsSat.c | 157 Aig_Obj_t * pObj1, * pObj2; in Abc_NtkAddOneHotness() local
|
/dports/editors/libreoffice/libreoffice-7.2.6.2/sd/source/ui/dlg/ |
H A D | morphdlg.cxx | 35 MorphDlg::MorphDlg(weld::Window* pParent, const SdrObject* pObj1, const SdrObject* pObj2 ) in MorphDlg()
|
/dports/editors/libreoffice6/libreoffice-6.4.7.2/sd/source/ui/dlg/ |
H A D | morphdlg.cxx | 35 MorphDlg::MorphDlg(weld::Window* pParent, const SdrObject* pObj1, const SdrObject* pObj2 ) in MorphDlg()
|
/dports/cad/abc/abc-a4518e6f833885c905964f1233d11e5b941ec24c/src/proof/ssw/ |
H A D | sswSweep.c | 86 Aig_Obj_t * pObj, * pObj2; in Ssw_CheckConstraints() local 377 Aig_Obj_t * pObj, * pObj2, * pObjNew; in Ssw_ManSweep() local
|
/dports/cad/abc/abc-a4518e6f833885c905964f1233d11e5b941ec24c/src/proof/int/ |
H A D | intM114.c | 53 Aig_Obj_t * pObj, * pObj2; in Inter_ManDeriveSatSolver() local
|
/dports/cad/abc/abc-a4518e6f833885c905964f1233d11e5b941ec24c/src/opt/fret/ |
H A D | fretMain.c | 481 Abc_Obj_t *pObj, *pObj2; in Abc_FlowRetime_PushFlows() local 1351 Abc_Obj_t *pObj2; in Abc_ObjPrintNeighborhood_rec() local 1371 Abc_Obj_t *pObj2; in Abc_ObjPrintNeighborhood() local
|
/dports/cad/abc/abc-a4518e6f833885c905964f1233d11e5b941ec24c/src/base/abci/ |
H A D | abcResub.c | 682 …subQuit21( Abc_Obj_t * pRoot, Abc_Obj_t * pObj0, Abc_Obj_t * pObj1, Abc_Obj_t * pObj2, int fOrGate… in Abc_ManResubQuit21() 724 …esubQuit2( Abc_Obj_t * pRoot, Abc_Obj_t * pObj0, Abc_Obj_t * pObj1, Abc_Obj_t * pObj2, int fOrGate… in Abc_ManResubQuit2() 770 …esubQuit3( Abc_Obj_t * pRoot, Abc_Obj_t * pObj0, Abc_Obj_t * pObj1, Abc_Obj_t * pObj2, Abc_Obj_t *… in Abc_ManResubQuit3() 1133 Abc_Obj_t * pObj0, * pObj1, * pObj2, * pObjMax, * pObjMin0 = NULL, * pObjMin1 = NULL; in Abc_ManResubDivs12() local 1235 Abc_Obj_t * pObj0, * pObj1, * pObj2; in Abc_ManResubDivs2() local 1345 Abc_Obj_t * pObj0, * pObj1, * pObj2, * pObj3; in Abc_ManResubDivs3() local
|
/dports/cad/abc/abc-a4518e6f833885c905964f1233d11e5b941ec24c/src/proof/dch/ |
H A D | dchSimSat.c | 84 void Dch_ManCollectTfoCands( Dch_Man_t * p, Aig_Obj_t * pObj1, Aig_Obj_t * pObj2 ) in Dch_ManCollectTfoCands()
|
/dports/editors/libreoffice/libreoffice-7.2.6.2/sd/source/ui/func/ |
H A D | fumorph.cxx | 84 SdrObject* pObj2 = rMarkList.GetMark(1)->GetMarkedSdrObj(); in DoExecute() local 324 const SdrObject* pObj2 in ImpInsertPolygons()
|
/dports/editors/libreoffice6/libreoffice-6.4.7.2/sd/source/ui/func/ |
H A D | fumorph.cxx | 84 SdrObject* pObj2 = rMarkList.GetMark(1)->GetMarkedSdrObj(); in DoExecute() local 324 const SdrObject* pObj2 in ImpInsertPolygons()
|