代码搜索: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