代码搜索:CFile
找到约 2,096 项符合「CFile」的源代码
代码结果 2,096
www.eeworm.com/read/431154/1909159
c cuddsat.c
/**CFile***********************************************************************
FileName [cuddSat.c]
PackageName [cudd]
Synopsis [Functions for the solution of satisfiability related
www.eeworm.com/read/431154/1909161
c cuddwindow.c
/**CFile***********************************************************************
FileName [cuddWindow.c]
PackageName [cudd]
Synopsis [Functions for window permutation]
Description [In
www.eeworm.com/read/431154/1909168
c cuddandabs.c
/**CFile***********************************************************************
FileName [cuddAndAbs.c]
PackageName [cudd]
Synopsis [Combined AND and existential abstraction for BDDs]
www.eeworm.com/read/431154/1909185
c cuddzddmisc.c
/**CFile***********************************************************************
FileName [cuddZddMisc.c]
PackageName [cudd]
Synopsis [.]
Description [External procedures included in
www.eeworm.com/read/251886/6335747
c joy.c
/* Joystick plugin for xmms by Tim Ferguson (timf@dgs.monash.edu.au
* http://www.dgs.monash.edu.au/~timf/) ...
* 14/12/2000 - patched to allow 5 or more buttons to
www.eeworm.com/read/431154/1909148
c cuddaddwalsh.c
/**CFile***********************************************************************
FileName [cuddAddWalsh.c]
PackageName [cudd]
Synopsis [Functions that generate Walsh matrices and residue
www.eeworm.com/read/431154/1909149
c cuddaddfind.c
/**CFile***********************************************************************
FileName [cuddAddFind.c]
PackageName [cudd]
Synopsis [Functions to find maximum and minimum in an ADD and
www.eeworm.com/read/431154/1909153
c cuddsign.c
/**CFile***********************************************************************
FileName [cuddSign.c]
PackageName [cudd]
Synopsis [Computation of signatures]
Description [External pr
www.eeworm.com/read/431154/1909156
c cuddzddfuncs.c
/**CFile***********************************************************************
FileName [cuddZddFuncs.c]
PackageName [cudd]
Synopsis [Functions to manipulate covers represented as ZDDs
www.eeworm.com/read/431154/1909175
c cuddaddabs.c
/**CFile***********************************************************************
FileName [cuddAddAbs.c]
PackageName [cudd]
Synopsis [Quantification functions for ADDs.]
Description [