代码搜索:CFile
找到约 2,096 项符合「CFile」的源代码
代码结果 2,096
www.eeworm.com/read/431154/1909151
c cuddgencof.c
/**CFile***********************************************************************
FileName [cuddGenCof.c]
PackageName [cudd]
Synopsis [Generalized cofactors for BDDs and ADDs.]
Descrip
www.eeworm.com/read/431154/1909154
c cuddlcache.c
/**CFile***********************************************************************
FileName [cuddLCache.c]
PackageName [cudd]
Synopsis [Functions for local caches.]
Description [Interna
www.eeworm.com/read/431154/1909157
c cuddzddsetop.c
/**CFile***********************************************************************
FileName [cuddZddSetop.c]
PackageName [cudd]
Synopsis [Set operations on ZDDs.]
Description [External
www.eeworm.com/read/431154/1909158
c cuddgenetic.c
/**CFile***********************************************************************
FileName [cuddGenetic.c]
PackageName [cudd]
Synopsis [Genetic algorithm for variable reordering.]
Desc
www.eeworm.com/read/431154/1909160
c cuddbddcorr.c
/**CFile***********************************************************************
FileName [cuddBddCorr.c]
PackageName [cudd]
Synopsis [Correlation between BDDs.]
Description [External
www.eeworm.com/read/431154/1909163
c cuddzddlin.c
/**CFile***********************************************************************
FileName [cuddZddLin.c]
PackageName [cudd]
Synopsis [Procedures for dynamic variable ordering of ZDDs.]
www.eeworm.com/read/431154/1909164
c cuddmatmult.c
/**CFile***********************************************************************
FileName [cuddMatMult.c]
PackageName [cudd]
Synopsis [Matrix multiplication functions.]
Description [E
www.eeworm.com/read/431154/1909165
c cuddaddinv.c
/**CFile***********************************************************************
FileName [cuddAddInv.c]
PackageName [cudd]
Synopsis [Function to compute the scalar inverse of an ADD.]
www.eeworm.com/read/431154/1909166
c cuddzddreord.c
/**CFile***********************************************************************
FileName [cuddZddReord.c]
PackageName [cudd]
Synopsis [Procedures for dynamic variable ordering of ZDDs.]
www.eeworm.com/read/431154/1909169
c cuddzddport.c
/**CFile***********************************************************************
FileName [cuddZddPort.c]
PackageName [cudd]
Synopsis [Functions that translate BDDs to ZDDs.]
Descript