Here is a list of all functions, variables, defines, enums, and typedefs with links to the files they belong to:

- v -

• value : main.h
• var_Undef : satSolver.h
• variable : main.h
• Vec_Att_t : vecAtt.h
• Vec_AttAlloc() : vecAtt.h
• Vec_AttArray() : vecAtt.h
• Vec_AttArrayInt() : vecAtt.h
• Vec_AttClear() : vecAtt.h
• Vec_AttEntry() : vecAtt.h
• Vec_AttEntryInt() : vecAtt.h
• Vec_AttFree() : vecAtt.h
• Vec_AttFreeEntry() : vecAtt.h
• Vec_AttGrow() : vecAtt.h
• Vec_AttMan() : vecAtt.h
• VEC_ATTR_COPY : vecAtt.h
• VEC_ATTR_DATA1 : vecAtt.h
• VEC_ATTR_DATA2 : vecAtt.h
• VEC_ATTR_FRAIG : vecAtt.h
• VEC_ATTR_GLOBAL_AIG : vecAtt.h
• VEC_ATTR_GLOBAL_BDD : vecAtt.h
• VEC_ATTR_GLOBAL_SOP : vecAtt.h
• VEC_ATTR_LEVEL : vecAtt.h
• VEC_ATTR_LEVEL_REV : vecAtt.h
• VEC_ATTR_LOCAL_AIG : vecAtt.h
• VEC_ATTR_LOCAL_BDD : vecAtt.h
• VEC_ATTR_LOCAL_SOP : vecAtt.h
• VEC_ATTR_MVVAR : vecAtt.h
• VEC_ATTR_NONE : vecAtt.h
• VEC_ATTR_RETIME_LAG : vecAtt.h
• VEC_ATTR_TOTAL_NUM : vecAtt.h
• Vec_AttrType_t : vecAtt.h
• Vec_AttWriteEntry() : vecAtt.h
• Vec_AttWriteEntryInt() : vecAtt.h
• Vec_Flt_t : vecFlt.h
• Vec_FltAddToEntry() : vecFlt.h
• Vec_FltAlloc() : vecFlt.h
• Vec_FltAllocArray() : vecFlt.h
• Vec_FltAllocArrayCopy() : vecFlt.h
• Vec_FltArray() : vecFlt.h
• Vec_FltClear() : vecFlt.h
• Vec_FltDup() : vecFlt.h
• Vec_FltDupArray() : vecFlt.h
• Vec_FltEntry() : vecFlt.h
• Vec_FltEntryLast() : vecFlt.h
• Vec_FltFill() : vecFlt.h
• Vec_FltFillExtra() : vecFlt.h
• Vec_FltFind() : vecFlt.h
• Vec_FltForEachEntry : vecFlt.h
• Vec_FltForEachEntryReverse : vecFlt.h
• Vec_FltForEachEntryStart : vecFlt.h
• Vec_FltForEachEntryStartStop : vecFlt.h
• Vec_FltFree() : vecFlt.h
• Vec_FltGrow() : vecFlt.h
• Vec_FltPop() : vecFlt.h
• Vec_FltPush() : vecFlt.h
• Vec_FltPushOrder() : vecFlt.h
• Vec_FltPushUnique() : vecFlt.h
• Vec_FltReleaseArray() : vecFlt.h
• Vec_FltRemove() : vecFlt.h
• Vec_FltShrink() : vecFlt.h
• Vec_FltSize() : vecFlt.h
• Vec_FltSort() : vecFlt.h
• Vec_FltSortCompare1() : vecFlt.h
• Vec_FltSortCompare2() : vecFlt.h
• Vec_FltStart() : vecFlt.h
• Vec_FltWriteEntry() : vecFlt.h
• Vec_Int_t : vecInt.h
• Vec_IntAddToEntry() : vecInt.h
• Vec_IntAlloc() : vecInt.h
• Vec_IntAllocArray() : vecInt.h
• Vec_IntAllocArrayCopy() : vecInt.h
• Vec_IntArray() : vecInt.h
• Vec_IntClear() : vecInt.h
• Vec_IntDup() : vecInt.h
• Vec_IntDupArray() : vecInt.h
• Vec_IntEntry() : vecInt.h
• Vec_IntEntryLast() : vecInt.h
• Vec_IntFetch() : vecInt.h
• Vec_IntFill() : vecInt.h
• Vec_IntFillExtra() : vecInt.h
• Vec_IntFind() : vecInt.h
• Vec_IntForEachEntry : vecInt.h
• Vec_IntForEachEntryReverse : vecInt.h
• Vec_IntForEachEntryStart : vecInt.h
• Vec_IntForEachEntryStartStop : vecInt.h
• Vec_IntFree() : vecInt.h
• Vec_IntGrow() : vecInt.h
• Vec_IntPop() : vecInt.h
• Vec_IntPush() : vecInt.h
• Vec_IntPushFirst() : vecInt.h
• Vec_IntPushMem() : abcFanio.c
• Vec_IntPushOrder() : vecInt.h
• Vec_IntPushUnique() : vecInt.h
• Vec_IntPushUniqueOrder() : vecInt.h
• Vec_IntReleaseArray() : vecInt.h
• Vec_IntRemove() : vecInt.h
• Vec_IntRemoveDup() : ivyFastMap.c
• Vec_IntSelectSort() : ivyFastMap.c
• Vec_IntShrink() : vecInt.h
• Vec_IntSize() : vecInt.h
• Vec_IntSort() : vecInt.h
• Vec_IntSortCompare1() : vecInt.h
• Vec_IntSortCompare2() : vecInt.h
• Vec_IntSortCompareUnsigned() : vecInt.h
• Vec_IntSortUnsigned() : vecInt.h
• Vec_IntStart() : vecInt.h
• Vec_IntStartNatural() : vecInt.h
• Vec_IntTwoCountCommon() : vecInt.h
• Vec_IntTwoMerge() : vecInt.h
• Vec_IntWriteEntry() : vecInt.h
• Vec_Ptr_t : vecPtr.h
• Vec_PtrAlloc() : vecPtr.h
• Vec_PtrAllocArray() : vecPtr.h
• Vec_PtrAllocArrayCopy() : vecPtr.h
• Vec_PtrAllocSimInfo() : vecPtr.h
• Vec_PtrAllocTruthTables() : vecPtr.h
• Vec_PtrArray() : vecPtr.h
• Vec_PtrClear() : vecPtr.h
• Vec_PtrCopy() : vecPtr.h
• Vec_PtrDoubleSimInfo() : vecPtr.h
• Vec_PtrDup() : vecPtr.h
• Vec_PtrDupArray() : vecPtr.h
• Vec_PtrEntry() : vecPtr.h
• Vec_PtrEntryLast() : vecPtr.h
• Vec_PtrEntryP() : vecPtr.h
• Vec_PtrFill() : vecPtr.h
• Vec_PtrFillExtra() : vecPtr.h
• Vec_PtrFind() : vecPtr.h
• Vec_PtrForEachEntry : vecPtr.h
• Vec_PtrForEachEntryReverse : vecPtr.h
• Vec_PtrForEachEntryStart : vecPtr.h
• Vec_PtrForEachEntryStartStop : vecPtr.h
• Vec_PtrForEachEntryStop : vecPtr.h
• Vec_PtrFree() : vecPtr.h
• Vec_PtrGetEntry() : vecPtr.h
• Vec_PtrGrow() : vecPtr.h
• Vec_PtrPop() : vecPtr.h
• Vec_PtrPush() : vecPtr.h
• Vec_PtrPushUnique() : vecPtr.h
• Vec_PtrReleaseArray() : vecPtr.h
• Vec_PtrRemove() : vecPtr.h
• Vec_PtrReorder() : vecPtr.h
• Vec_PtrSetEntry() : vecPtr.h
• Vec_PtrShrink() : vecPtr.h
• Vec_PtrSize() : vecPtr.h
• Vec_PtrSort() : vecPtr.h
• Vec_PtrStart() : vecPtr.h
• Vec_PtrUniqify() : vecPtr.h
• Vec_PtrWriteEntry() : vecPtr.h
• Vec_Str_t : vecStr.h
• Vec_StrAlloc() : vecStr.h
• Vec_StrAllocArray() : vecStr.h
• Vec_StrAllocArrayCopy() : vecStr.h
• Vec_StrAppend() : vecStr.h
• Vec_StrArray() : vecStr.h
• Vec_StrBase10Log() : vecStr.h
• Vec_StrClear() : vecStr.h
• Vec_StrDup() : vecStr.h
• Vec_StrDupArray() : vecStr.h
• Vec_StrEntry() : vecStr.h
• Vec_StrEntryLast() : vecStr.h
• Vec_StrFill() : vecStr.h
• Vec_StrForEachEntry : vecStr.h
• Vec_StrFree() : vecStr.h
• Vec_StrGrow() : vecStr.h
• Vec_StrPop() : vecStr.h
• Vec_StrPrintNum() : vecStr.h
• Vec_StrPrintStr() : vecStr.h
• Vec_StrPush() : vecStr.h
• Vec_StrReleaseArray() : vecStr.h
• Vec_StrShrink() : vecStr.h
• Vec_StrSize() : vecStr.h
• Vec_StrSort() : vecStr.h
• Vec_StrSortCompare1() : vecStr.h
• Vec_StrSortCompare2() : vecStr.h
• Vec_StrStart() : vecStr.h
• Vec_StrWriteEntry() : vecStr.h
• Vec_Vec_t : vecVec.h
• Vec_VecAlloc() : vecVec.h
• Vec_VecClear() : vecVec.h
• Vec_VecEntry() : vecVec.h
• Vec_VecExpand() : vecVec.h
• Vec_VecForEachEntry : vecVec.h
• Vec_VecForEachEntryLevel : vecVec.h
• Vec_VecForEachEntryReverse : vecVec.h
• Vec_VecForEachEntryReverseReverse : vecVec.h
• Vec_VecForEachEntryReverseStart : vecVec.h
• Vec_VecForEachEntryStart : vecVec.h
• Vec_VecForEachEntryStartStop : vecVec.h
• Vec_VecForEachLevel : vecVec.h
• Vec_VecForEachLevelReverse : vecVec.h
• Vec_VecForEachLevelReverseStartStop : vecVec.h
• Vec_VecForEachLevelStart : vecVec.h
• Vec_VecForEachLevelStartStop : vecVec.h
• Vec_VecFree() : vecVec.h
• Vec_VecPush() : vecVec.h
• Vec_VecPushUnique() : vecVec.h
• Vec_VecSize() : vecVec.h
• Vec_VecSizeSize() : vecVec.h
• Vec_VecSort() : vecVec.h
• Vec_VecSortCompare1() : vecVec.h
• Vec_VecSortCompare2() : vecVec.h
• Vec_VecStart() : vecVec.h
• veci : satVec.h
• veci_begin() : satVec.h
• veci_delete() : satVec.h
• veci_new() : satVec.h
• veci_push() : satVec.h
• veci_resize() : satVec.h
• veci_size() : satVec.h
• vecp : satVec.h
• vecp_begin() : satVec.h
• vecp_delete() : satVec.h
• vecp_new() : satVec.h
• vecp_push() : satVec.h
• vecp_remove() : satSolver.c
• vecp_resize() : satVec.h
• vecp_size() : satVec.h
• VER_BUFFER_SIZE : verStream.c
• Ver_Bundle_t : verCore.c
• Ver_FindGateInput() : verCore.c
• Ver_FormulaParser() : verFormula.c , ver.h
• Ver_FormulaParserFindVar() : verFormula.c
• Ver_FormulaParserTopOper() : verFormula.c
• Ver_FormulaReduction() : ver.h , verFormula.c
• VER_GATE_AND : verCore.c
• VER_GATE_BUF : verCore.c
• VER_GATE_NAND : verCore.c
• VER_GATE_NOR : verCore.c
• VER_GATE_NOT : verCore.c
• VER_GATE_OR : verCore.c
• VER_GATE_XNOR : verCore.c
• VER_GATE_XOR : verCore.c
• Ver_GateType_t : verCore.c
• Ver_Man_t : ver.h
• VER_MINIMUM : verStream.c
• Ver_NtkIsDefined() : verCore.c
• Ver_ObjIsConnected() : verCore.c
• VER_OFFSET_SIZE : verStream.c
• VER_PARSE_FLAG_ERROR : verFormula.c
• VER_PARSE_FLAG_OPER : verFormula.c
• VER_PARSE_FLAG_START : verFormula.c
• VER_PARSE_FLAG_VAR : verFormula.c
• VER_PARSE_OPER_AND : verFormula.c
• VER_PARSE_OPER_EQU : verFormula.c
• VER_PARSE_OPER_MARK : verFormula.c
• VER_PARSE_OPER_MUX : verFormula.c
• VER_PARSE_OPER_NEG : verFormula.c
• VER_PARSE_OPER_OR : verFormula.c
• VER_PARSE_OPER_XOR : verFormula.c
• VER_PARSE_SYM_AND : verFormula.c
• VER_PARSE_SYM_CLOSE : verFormula.c
• VER_PARSE_SYM_CONST0 : verFormula.c
• VER_PARSE_SYM_CONST1 : verFormula.c
• VER_PARSE_SYM_MUX1 : verFormula.c
• VER_PARSE_SYM_MUX2 : verFormula.c
• VER_PARSE_SYM_NEGBEF1 : verFormula.c
• VER_PARSE_SYM_NEGBEF2 : verFormula.c
• VER_PARSE_SYM_OPEN : verFormula.c
• VER_PARSE_SYM_OR : verFormula.c
• VER_PARSE_SYM_XOR : verFormula.c
• Ver_ParseAlways() : verCore.c
• Ver_ParseAssign() : verCore.c
• Ver_ParseAttachBoxes() : verCore.c
• Ver_ParseBox() : verCore.c
• Ver_ParseCheckNondrivenNets() : verCore.c
• Ver_ParseCollectUndefBoxes() : verCore.c
• Ver_ParseConnectBox() : verCore.c
• Ver_ParseConnectDefBoxes() : verCore.c
• Ver_ParseConstant() : verCore.c
• Ver_ParseConvertNetwork() : verCore.c
• Ver_ParseCreateInv() : verCore.c
• Ver_ParseCreateLatch() : verCore.c
• Ver_ParseCreatePi() : verCore.c
• Ver_ParseCreatePo() : verCore.c
• Ver_ParseDriveFormal() : verCore.c
• Ver_ParseDriveInputs() : verCore.c
• Ver_ParseFile() : ioReadVerilog.c , verCore.c , ver.h
• Ver_ParseFindNet() : verCore.c
• Ver_ParseFindOrCreateNetwork() : verCore.c
• Ver_ParseFormalNetsAreDriven() : verCore.c
• Ver_ParseFreeBundle() : verCore.c
• Ver_ParseFreeData() : verCore.c
• Ver_ParseGate() : verCore.c
• Ver_ParseGateStandard() : verCore.c
• Ver_ParseGetName() : verParse.c , ver.h
• Ver_ParseGetNondrivenBundle() : verCore.c
• Ver_ParseInitial() : verCore.c
• Ver_ParseInsertsSuffix() : verCore.c
• Ver_ParseInternal() : verCore.c
• Ver_ParseLookupSuffix() : verCore.c
• Ver_ParseMaxBoxSize() : verCore.c
• Ver_ParseModule() : verCore.c
• Ver_ParsePrintErrorMessage() : ver.h , verCore.c
• Ver_ParsePrintLog() : verCore.c
• Ver_ParseRemoveSuffixTable() : verCore.c
• Ver_ParseReportUndefBoxes() : verCore.c
• Ver_ParseSignal() : verCore.c
• Ver_ParseSignalPrefix() : verCore.c
• Ver_ParseSignalSuffix() : verCore.c
• Ver_ParseSkipComments() : verParse.c , ver.h
• Ver_ParseStart() : verCore.c
• Ver_ParseStop() : verCore.c
• VER_SIG_INOUT : verCore.c
• VER_SIG_INPUT : verCore.c
• VER_SIG_NONE : verCore.c
• VER_SIG_OUTPUT : verCore.c
• VER_SIG_REG : verCore.c
• VER_SIG_WIRE : verCore.c
• Ver_SignalType_t : verCore.c
• Ver_Stream_t : ver.h
• Ver_StreamAlloc() : ver.h , verStream.c
• Ver_StreamFree() : verStream.c , ver.h
• Ver_StreamGetCurPosition() : ver.h , verStream.c
• Ver_StreamGetFileName() : ver.h , verStream.c
• Ver_StreamGetFileSize() : ver.h , verStream.c
• Ver_StreamGetLineNumber() : verStream.c , ver.h
• Ver_StreamGetWord() : ver.h , verStream.c
• Ver_StreamIsOkey() : verStream.c , ver.h
• Ver_StreamPopChar() : verStream.c , ver.h
• Ver_StreamReload() : verStream.c
• Ver_StreamScanChar() : ver.h , verStream.c
• Ver_StreamSkipChars() : verStream.c , ver.h
• Ver_StreamSkipToChars() : verStream.c , ver.h
• VER_WORD_SIZE : verStream.c
• verbose_debug : espresso.h , globals.c
• verify() : verify.c , espresso.h
• verify_cover() : mincov.c
• VERIFY_TIME : espresso.h
• VERSION : espresso.h
• visit_col() : part.c
• visit_row() : part.c
• VOID_HACK : util_old.h