Searched defs:pCla (Results 1 – 9 of 9) sorted by relevance
| /dports/cad/abc/abc-a4518e6f833885c905964f1233d11e5b941ec24c/src/sat/xsat/ |
| H A D | xsatSolver.c | 188 static inline void xSAT_SolverClaActBump( xSAT_Solver_t* s, xSAT_Clause_t * pCla ) in xSAT_SolverClaActBump()
222 static inline int xSAT_SolverClaCalcLBD( xSAT_Solver_t * s, xSAT_Clause_t * pCla ) in xSAT_SolverClaCalcLBD()
272 xSAT_Clause_t * pCla; in xSAT_SolverClaNew() local
555 xSAT_Clause_t * pCla; in xSAT_SolverAnalyze() local
695 xSAT_Clause_t * pCla; in xSAT_SolverPropagate() local
784 xSAT_Clause_t * pCla; in xSAT_SolverReduceDB() local
|
| H A D | xsatSolverAPI.c | 179 xSAT_Clause_t * pCla = xSAT_SolverReadClause( s, CRef ); in xSAT_SolverSimplify() local
|
| H A D | xsatClause.h | 94 static inline void xSAT_ClausePrint( xSAT_Clause_t * pCla ) in xSAT_ClausePrint()
|
| H A D | xsatSolver.h | 203 static inline int xSAT_SolverIsClauseSatisfied( xSAT_Solver_t * s, xSAT_Clause_t * pCla ) in xSAT_SolverIsClauseSatisfied()
|
| /dports/cad/abc/abc-a4518e6f833885c905964f1233d11e5b941ec24c/src/proof/fra/ |
| H A D | fraLcr.c | 36 Fra_Cla_t * pCla; member
347 void Fra_LcrRemapPartitions( Vec_Ptr_t * vParts, Fra_Cla_t * pCla, int * pInToOutPart, int * pInToO… in Fra_LcrRemapPartitions()
394 Aig_Obj_t * Fra_LcrCreatePart_rec( Fra_Cla_t * pCla, Aig_Man_t * pNew, Aig_Man_t * p, Aig_Obj_t * p… in Fra_LcrCreatePart_rec()
|
| H A D | fra.h | 198 Fra_Cla_t * pCla; // representation of (candidate) equivalent nodes member
|
| /dports/deskutils/ausweisapp2/AusweisApp2-1.22.2/src/card/base/ |
| H A D | CommandApdu.cpp | 48 CommandApdu::CommandApdu(char pCla, char pIns, char pP1, char pP2, const QByteArray& pData, int pLe) in CommandApdu()
|
| /dports/cad/abc/abc-a4518e6f833885c905964f1233d11e5b941ec24c/src/proof/pdr/ |
| H A D | pdrIncr.c | 186 Pdr_Set_t * pCla; in IPdr_ManSaveClauses() local
891 Pdr_Set_t * pCla; in IPdr_ManCheckCubeReduce() local
|
| H A D | pdrMan.c | 320 Pdr_Set_t * pCla; in Pdr_ManStop() local
|