| /dports/lang/nqc/nqc-3.1.r6_1/compiler/ |
| H A D | Macro.h | 52 bool fMark; variable
|
| /dports/cad/abc/abc-a4518e6f833885c905964f1233d11e5b941ec24c/src/aig/aig/ |
| H A D | aigRepar.c | 47 …nline void Aig_ManInterAddBuffer( sat_solver2 * pSat, int iVarA, int iVarB, int fCompl, int fMark ) in Aig_ManInterAddBuffer()
77 …id Aig_ManInterAddXor( sat_solver2 * pSat, int iVarA, int iVarB, int iVarC, int fCompl, int fMark ) in Aig_ManInterAddXor()
|
| H A D | aigRet.c | 65 unsigned long fMark : 1; // multipurpose mark member
|
| /dports/java/eclipse/eclipse.platform.releng.aggregator-R4_16/eclipse.platform.text/org.eclipse.text/src/org/eclipse/text/edits/ |
| H A D | TreeIterationInfo.java | 25 private int fMark= -1; field in TreeIterationInfo
|
| /dports/cad/abc/abc-a4518e6f833885c905964f1233d11e5b941ec24c/src/sat/bsat/ |
| H A D | satSolver2.h | 263 static inline int sat_solver2_add_const( sat_solver2 * pSat, int iVar, int fCompl, int fMark, int I… in sat_solver2_add_const()
275 …t sat_solver2_add_buffer( sat_solver2 * pSat, int iVarA, int iVarB, int fCompl, int fMark, int Id ) in sat_solver2_add_buffer()
294 …( sat_solver2 * pSat, int iVar, int iVar0, int iVar1, int fCompl0, int fCompl1, int fMark, int Id ) in sat_solver2_add_and()
319 …lver2_add_xor( sat_solver2 * pSat, int iVarA, int iVarB, int iVarC, int fCompl, int fMark, int Id ) in sat_solver2_add_xor()
354 …at_solver2_add_constraint( sat_solver2 * pSat, int iVar, int iVar2, int fCompl, int fMark, int Id ) in sat_solver2_add_constraint()
|
| /dports/cad/abc/abc-a4518e6f833885c905964f1233d11e5b941ec24c/src/sat/xsat/ |
| H A D | xsatClause.h | 38 unsigned fMark : 1; member
|
| /dports/cad/abc/abc-a4518e6f833885c905964f1233d11e5b941ec24c/src/sat/msat/ |
| H A D | msatClause.c | 34 unsigned fMark : 1; // used to mark visited clauses during proof recording member
262 void Msat_ClauseSetMark( Msat_Clause_t * pC, int fMark ) { pC->fMark = fMark; } in Msat_ClauseSetMark()
|
| /dports/cad/abc/abc-a4518e6f833885c905964f1233d11e5b941ec24c/src/aig/gia/ |
| H A D | giaSweep.c | 228 Gia_Obj_t * Gia_ManFraigMarkCis( Gia_Man_t * p, Gia_Obj_t * pObj, int fMark ) in Gia_ManFraigMarkCis()
235 Gia_Obj_t * Gia_ManFraigMarkCos( Gia_Man_t * p, Gia_Obj_t * pObj, int fMark ) in Gia_ManFraigMarkCos()
|
| H A D | giaGlitch.c | 36 unsigned fMark : 1; // user-controlled mark member
|
| /dports/cad/abc/abc-a4518e6f833885c905964f1233d11e5b941ec24c/src/base/exor/ |
| H A D | exor.h | 128 byte fMark; // the flag which is TRUE if the cubes is enabled member
|
| /dports/cad/abc/abc-a4518e6f833885c905964f1233d11e5b941ec24c/src/opt/lpk/ |
| H A D | lpkInt.h | 61 unsigned fMark : 1; // multipurpose mark member
153 unsigned fMark : 1; // marks the MUX-based dec member
|
| /dports/java/openjdk11/jdk11u-jdk-11.0.13-8-1/src/java.xml/share/classes/com/sun/org/apache/xerces/internal/impl/ |
| H A D | XMLDocumentFragmentScannerImpl.java | 2062 protected int fMark; field in XMLDocumentFragmentScannerImpl.ElementStack2
2225 protected int fMark; field in XMLDocumentFragmentScannerImpl.ElementStack
|
| /dports/java/openjdk13/jdk13u-jdk-13.0.10-1-1/src/java.xml/share/classes/com/sun/org/apache/xerces/internal/impl/ |
| H A D | XMLDocumentFragmentScannerImpl.java | 2077 protected int fMark; field in XMLDocumentFragmentScannerImpl.ElementStack2
2240 protected int fMark; field in XMLDocumentFragmentScannerImpl.ElementStack
|
| /dports/java/openjdk16/jdk16u-jdk-16.0.2-7-1/src/java.xml/share/classes/com/sun/org/apache/xerces/internal/impl/ |
| H A D | XMLDocumentFragmentScannerImpl.java | 2077 protected int fMark; field in XMLDocumentFragmentScannerImpl.ElementStack2
2240 protected int fMark; field in XMLDocumentFragmentScannerImpl.ElementStack
|
| /dports/java/openjdk17/jdk17u-jdk-17.0.1-12-1/src/java.xml/share/classes/com/sun/org/apache/xerces/internal/impl/ |
| H A D | XMLDocumentFragmentScannerImpl.java | 2078 protected int fMark; field in XMLDocumentFragmentScannerImpl.ElementStack2
2241 protected int fMark; field in XMLDocumentFragmentScannerImpl.ElementStack
|
| /dports/java/openjdk11-jre/jdk11u-jdk-11.0.13-8-1/src/java.xml/share/classes/com/sun/org/apache/xerces/internal/impl/ |
| H A D | XMLDocumentFragmentScannerImpl.java | 2062 protected int fMark; field in XMLDocumentFragmentScannerImpl.ElementStack2
2225 protected int fMark; field in XMLDocumentFragmentScannerImpl.ElementStack
|
| /dports/java/openjdk12/openjdk-jdk12u-jdk-12.0.2-10-4/src/java.xml/share/classes/com/sun/org/apache/xerces/internal/impl/ |
| H A D | XMLDocumentFragmentScannerImpl.java | 2062 protected int fMark; field in XMLDocumentFragmentScannerImpl.ElementStack2
2225 protected int fMark; field in XMLDocumentFragmentScannerImpl.ElementStack
|
| /dports/java/openjdk15/jdk15u-jdk-15.0.6-1-1/src/java.xml/share/classes/com/sun/org/apache/xerces/internal/impl/ |
| H A D | XMLDocumentFragmentScannerImpl.java | 2077 protected int fMark; field in XMLDocumentFragmentScannerImpl.ElementStack2
2240 protected int fMark; field in XMLDocumentFragmentScannerImpl.ElementStack
|
| /dports/java/openjdk14/jdk14u-jdk-14.0.2-12-1/src/java.xml/share/classes/com/sun/org/apache/xerces/internal/impl/ |
| H A D | XMLDocumentFragmentScannerImpl.java | 2077 protected int fMark; field in XMLDocumentFragmentScannerImpl.ElementStack2
2240 protected int fMark; field in XMLDocumentFragmentScannerImpl.ElementStack
|
| /dports/java/openjdk8/jdk8u-jdk8u312-b07.1/jaxp/src/com/sun/org/apache/xerces/internal/impl/ |
| H A D | XMLDocumentFragmentScannerImpl.java | 2123 protected int fMark; field in XMLDocumentFragmentScannerImpl.ElementStack2
2286 protected int fMark; field in XMLDocumentFragmentScannerImpl.ElementStack
|
| /dports/java/openjdk8-jre/jdk8u-jdk8u312-b07.1/jaxp/src/com/sun/org/apache/xerces/internal/impl/ |
| H A D | XMLDocumentFragmentScannerImpl.java | 2123 protected int fMark; field in XMLDocumentFragmentScannerImpl.ElementStack2
2286 protected int fMark; field in XMLDocumentFragmentScannerImpl.ElementStack
|
| /dports/cad/abc/abc-a4518e6f833885c905964f1233d11e5b941ec24c/src/map/fpga/ |
| H A D | fpgaInt.h | 240 char fMark; // the mark to denote visited cut member
|
| /dports/math/stp/stp-2.3.3/lib/extlib-abc/aig/aig/ |
| H A D | aigRet.c | 80 unsigned long fMark : 1; // multipurpose mark member
|
| /dports/cad/abc/abc-a4518e6f833885c905964f1233d11e5b941ec24c/src/aig/ivy/ |
| H A D | ivyFastMap.c | 46 char fMark; // multipurpose mask member
|
| /dports/cad/abc/abc-a4518e6f833885c905964f1233d11e5b941ec24c/src/map/mapper/ |
| H A D | mapperInt.h | 272 char fMark; // the mark to denote visited cut member
|