| /dports/cad/abc/abc-a4518e6f833885c905964f1233d11e5b941ec24c/src/aig/miniaig/ |
| H A D | miniaig.h | 77 static void Mini_AigPush( Mini_Aig_t * p, int Lit0, int Lit1 ) in Mini_AigPush()
231 static int Mini_AigAnd( Mini_Aig_t * p, int Lit0, int Lit1 ) in Mini_AigAnd()
239 static int Mini_AigOr( Mini_Aig_t * p, int Lit0, int Lit1 ) in Mini_AigOr()
243 static int Mini_AigMux( Mini_Aig_t * p, int LitC, int Lit1, int Lit0 ) in Mini_AigMux()
249 static int Mini_AigXor( Mini_Aig_t * p, int Lit0, int Lit1 ) in Mini_AigXor()
|
| /dports/cad/abc/abc-a4518e6f833885c905964f1233d11e5b941ec24c/src/opt/fxch/ |
| H A D | FxchMan.c | 60 Lit1, in Fxch_ManDivSingleCube() local
132 int Lit1, in Fxch_ManDivDoubleCube() local
363 const int Lit1, in Fxch_ManExtractDivFromCube()
514 int Lit1 ) in Fxch_ManCreateCube()
589 Lit1 = -1, in Fxch_ManUpdate() local
|
| H A D | FxchDiv.c | 413 Lit1 = Abc_Lit2Var( Vec_IntEntry( vDiv, 1 ) ), in Fxch_DivRemoveLits() local
473 Lit1 = Abc_Lit2Var( Vec_IntEntry( vDiv, 1 ) ); in Fxch_DivIsNotConstant1() local
|
| /dports/cad/abc/abc-a4518e6f833885c905964f1233d11e5b941ec24c/src/base/pla/ |
| H A D | plaFxch.c | 277 …oid Fxch_CollectDoubles( Fxch_Man_t * p, Vec_Int_t * vPairs, Vec_Int_t * vRes, int Lit0, int Lit1 ) in Fxch_CollectDoubles()
310 static inline void Fxch_FilterCubes( Fxch_Man_t * p, Vec_Int_t * vCubesS, int Lit0, int Lit1 ) in Fxch_FilterCubes()
344 int Fxch_DivisorAdd( Fxch_Man_t * p, int Lit0, int Lit1, int Weight ) in Fxch_DivisorAdd()
369 void Fxch_DivisorRemove( Fxch_Man_t * p, int Lit0, int Lit1, int Weight ) in Fxch_DivisorRemove()
456 int iEnt, iDiv, Lit0, Lit1, fStart = 1; in Fxch_TabInsert() local
503 int Lit0, Lit1; in Fxch_TabExtract() local
621 int i, Lit0, Lit1, hCube1, hCube2, iVarNew; in Fxch_ManUpdate() local
774 int Lit1 = Hash_IntObjData1( p->vHash, iDiv ); in Fxch_PrintDivOne() local
|
| /dports/devel/creduce/creduce-2.10.0/clang_delta/ |
| H A D | ExpressionDetector.cpp | 451 const CharacterLiteral *Lit1 = cast<CharacterLiteral>(E1); in isIdenticalExpr() local
457 const clang::StringLiteral *Lit1 = cast<clang::StringLiteral>(E1); in isIdenticalExpr() local
463 const IntegerLiteral *Lit1 = cast<IntegerLiteral>(E1); in isIdenticalExpr() local
471 const FloatingLiteral *Lit1 = cast<FloatingLiteral>(E1); in isIdenticalExpr() local
|
| /dports/cad/abc/abc-a4518e6f833885c905964f1233d11e5b941ec24c/src/proof/acec/ |
| H A D | acecCl.c | 160 int Lit0, Lit1; in Acec_DetectLitPolarity() local
|
| /dports/cad/abc/abc-a4518e6f833885c905964f1233d11e5b941ec24c/src/aig/gia/ |
| H A D | giaStg.c | 84 int i, k = 0, Lit1, Lit2, LitRes; in Gia_ManCreateOrGate() local
|
| H A D | giaHash.c | 789 int i, k = 0, Lit1, Lit2, LitRes; in Gia_ManHashAndMulti() local
|
| H A D | giaBalAig.c | 228 int i, k, Stop, Lit1, Lit2, Level1, Level2, * pArray; in Gia_ManPrepareLastTwo() local
|
| H A D | giaDup.c | 1658 int Lit1 = Gia_ObjFanin0Copy(Gia_ManCo(pGia[1], i)); in Gia_ManDupMux() local
|
| /dports/cad/abc/abc-a4518e6f833885c905964f1233d11e5b941ec24c/src/base/abci/ |
| H A D | abcFx.c | 622 Lit1 = Abc_Lit2Var( pArray[1] ); in Fx_ManDivFindCubeFree() local
969 int i, k, Lit0, Lit1, iVarNew = 0, RetValue, Level; in Fx_ManUpdate() local
|
| H A D | abcGen.c | 1083 int Lit1 = Mini_AigNodeFanin1( p, i ); in Abc_WriteBoothPartialProducts() local
|
| /dports/cad/ghdl/ghdl-1.0.0/src/vhdl/ |
| H A D | vhdl-std_package.adb | 833 Lit, Lit1 : Iir_Physical_Int_Literal; variable
|
| /dports/devel/spirv-llvm-translator/SPIRV-LLVM-Translator-13.0.0/lib/SPIRV/libSPIRV/ |
| H A D | SPIRV.debug.h | 150 Lit1 = 47, enumerator
|
| /dports/cad/abc/abc-a4518e6f833885c905964f1233d11e5b941ec24c/src/base/abc/ |
| H A D | abcHieNew.c | 1163 int Lit0, Lit1, Lit2; in Au_NtkDeriveFlatGia_rec() local
|
| /dports/devel/intel-graphics-compiler/intel-graphics-compiler-igc-1.0.9636/IGC/AdaptorOCL/SPIRV/libSPIRV/ |
| H A D | SPIRVDebugInfoExt.h | 168 Lit1 = 47, enumerator
|