代码搜索:CFile

找到约 2,096 项符合「CFile」的源代码

代码结果 2,096
www.eeworm.com/read/431154/1909183

c cuddinteract.c

/**CFile*********************************************************************** FileName [cuddInteract.c] PackageName [cudd] Synopsis [Functions to manipulate the variable interaction m
www.eeworm.com/read/431154/1909184

c cuddlinear.c

/**CFile*********************************************************************** FileName [cuddLinear.c] PackageName [cudd] Synopsis [Functions for DD reduction by linear transformations
www.eeworm.com/read/431154/1909190

c cuddbddabs.c

/**CFile*********************************************************************** FileName [cuddBddAbs.c] PackageName [cudd] Synopsis [Quantification functions for BDDs.] Description [
www.eeworm.com/read/431154/1909193

c cuddsubsethb.c

/**CFile*********************************************************************** FileName [cuddSubsetHB.c] PackageName [cudd] Synopsis [Procedure to subset the given BDD by choosing the
www.eeworm.com/read/431154/1909202

c cuddessent.c

/**CFile*********************************************************************** FileName [cuddEssent.c] PackageName [cudd] Synopsis [Functions for the detection of essential variables.]
www.eeworm.com/read/431154/1909203

c cuddread.c

/**CFile*********************************************************************** FileName [cuddRead.c] PackageName [cudd] Synopsis [Functions to read in a matrix] Description [Externa
www.eeworm.com/read/431154/1909209

c cuddliteral.c

/**CFile*********************************************************************** FileName [cuddLiteral.c] PackageName [cudd] Synopsis [Functions for manipulation of literal sets represen
www.eeworm.com/read/431154/1909210

c cuddzddcount.c

/**CFile*********************************************************************** FileName [cuddZddCount.c] PackageName [cudd] Synopsis [Procedures to count the number of minterms of a ZD
www.eeworm.com/read/431154/1909214

c cuddaddapply.c

/**CFile*********************************************************************** FileName [cuddAddApply.c] PackageName [cudd] Synopsis [Apply functions for ADDs and their operators.]
www.eeworm.com/read/431154/1909229

c mtrgroup.c

/**CFile*********************************************************************** FileName [mtrGroup.c] PackageName [mtr] Synopsis [Functions to support group specification for reordering