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