Here is a list of all functions with links to the files they belong to:

- v -

• var_is_assigned() : satSolver2.c, satSolver2.h
• var_is_partA() : satSolver2.c, satSolver2.h
• var_set_partA() : satSolver2.c, satSolver2.h
• Vec_IntCopySkip() : plaHash.c
• Vec_IntCountNonTrivial() : giaIso.c
• Vec_IntDoubleWidth() : absVta.c
• Vec_IntInsertOrder() : acecCore.c
• Vec_IntLastNonZeroBeforeLimit() : saigTempor.c
• Vec_IntOrdered() : sbdCut2.c
• Vec_IntPermute() : acbFunc.c
• Vec_IntPermute2() : acbFunc.c
• Vec_IntPushUniqueLocal() : disjunctiveMonotone.c
• Vec_IntReadList() : abc.c
• Vec_StrFetch() : bblif.c
• Vec_StrGets() : mapperTree.c
• Vec_StrRead() : bblif.c
• Vec_StrWrite() : bblif.c
• Vec_WrdDoubleSimInfo() : sscSim.c
• Vec_WrdInterleave() : giaUtil.c
• Vec_WrdReadLayerText() : giaMinLut.c
• Vec_WrdReadNumsOut() : giaMinLut.c
• Vec_WrdReadTest() : giaMinLut.c
• Vec_WrdReadText() : giaMinLut.c
• Vec_WrdReadText2() : giaMinLut.c
• Vec_WrdReadTextOut() : giaMinLut.c
• Vec_WrdReadTruthText() : giaMinLut.c
• Vec_WrdReadTruthTextOne() : giaMinLut.c
• Vec_WrdWriteTruthHex() : abcCas.c
• Vec_WrdZoneExtract() : giaMinLut.c
• Vec_WrdZoneInsert() : giaMinLut.c
• vectorDifference() : disjunctiveMonotone.c
• Ver_FindGateInput() : verCore.c
• Ver_FormulaParser() : ver.h, verFormula.c
• Ver_FormulaReduction() : ver.h, verFormula.c
• Ver_ParseCheckNondrivenNets() : verCore.c
• Ver_ParseCollectUndefBoxes() : verCore.c
• Ver_ParseConnectDefBoxes() : verCore.c
• Ver_ParseConstant() : verCore.c
• Ver_ParseConvertNetwork() : verCore.c
• Ver_ParseDriveFormal() : verCore.c
• Ver_ParseDriveInputs() : verCore.c
• Ver_ParseFile() : ver.h, verCore.c
• Ver_ParseFindNet() : verCore.c
• Ver_ParseFindOrCreateNetwork() : verCore.c
• Ver_ParseFormalNetsAreDriven() : verCore.c
• Ver_ParseFreeBundle() : verCore.c
• Ver_ParseGetName() : ver.h, verParse.c
• Ver_ParseGetNondrivenBundle() : verCore.c
• Ver_ParseInsertsSuffix() : verCore.c
• Ver_ParseLookupSuffix() : verCore.c
• Ver_ParseMaxBoxSize() : verCore.c
• Ver_ParsePrintErrorMessage() : ver.h, verCore.c
• Ver_ParsePrintLog() : verCore.c
• Ver_ParseReportUndefBoxes() : verCore.c
• Ver_ParseSignalPrefix() : verCore.c
• Ver_ParseSignalSuffix() : verCore.c
• Ver_ParseSkipComments() : ver.h, verParse.c
• Ver_StreamAlloc() : ver.h, verStream.c
• Ver_StreamFree() : ver.h, verStream.c
• Ver_StreamGetCurPosition() : ver.h, verStream.c
• Ver_StreamGetFileName() : ver.h, verStream.c
• Ver_StreamGetFileSize() : ver.h, verStream.c
• Ver_StreamGetLineNumber() : ver.h, verStream.c
• Ver_StreamGetWord() : ver.h, verStream.c
• Ver_StreamIsOkey() : ver.h, verStream.c
• Ver_StreamMove() : verStream.c
• Ver_StreamPopChar() : ver.h, verStream.c
• Ver_StreamScanChar() : ver.h, verStream.c
• Ver_StreamSkipChars() : ver.h, verStream.c
• Ver_StreamSkipToChars() : ver.h, verStream.c
• verify() : espresso.h, verify.c
• Vga_ManAddClausesOne() : absVta.c
• Vga_ManDeriveCex() : absVta.c
• Vga_ManLoadSlice() : absVta.c
• Vga_ManPrintCore() : absVta.c
• Vga_ManRollBack() : absVta.c
• Vga_ManStart() : absVta.c
• Vga_ManStop() : absVta.c
• vnsprintf() : abc_global.h, utilFile.c
• Vta_ManAbsPrintFrame() : absVta.c
• Vta_ManCollectNodes() : absVta.c
• Vta_ManCollectNodes_rec() : absVta.c
• Vta_ManComputeDepthIncrease() : absVta.c
• Vta_ManObjIsUsed() : absVta.c
• Vta_ManProfileAddition() : absVta.c
• Vta_ManRefineAbstraction() : absVta.c
• Vta_ManSatVerify() : absVta.c
• Vta_ManUnsatCore() : absVta.c
• Vta_ManUnsatCoreRemap() : absVta.c