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

- v -

• VALID_EXTERNAL_LITERAL : literal.h
• VALID_INTERNAL_INDEX : literal.h
• VALID_INTERNAL_LITERAL : literal.h
• VALUE : value.h
• Value : exorList.c
• value : cadical_kitten.c, value.h, main.h
• Var : exorList.c
• Var0 : xsatSolver.h
• Var1 : xsatSolver.h
• VAR_ABS : exor.h
• VAR_ACT_INIT_INC : types.h
• VAR_ACT_LIMIT : types.h
• VAR_ACT_RESCALE : types.h
• var_is_assigned() : satSolver2.c, satSolver2.h
• var_is_partA() : satSolver2.c, satSolver2.h
• VAR_NEG : exor.h
• VAR_POS : exor.h
• var_set_partA() : satSolver2.c, satSolver2.h
• var_Undef : SolverTypes.h
• variable : main.h
• varinfo : satSolver.h
• varinfo2 : satSolver2.h
• VARS : internal.h
• VarUndef : xsatSolver.h
• varvalue : exor.h
• VarX : xsatSolver.h
• vec_act_alloc : types.h
• vec_act_at : types.h
• vec_act_clear : types.h
• vec_act_data : types.h
• vec_act_free : types.h
• vec_act_push_back : types.h
• vec_act_shrink : types.h
• vec_act_size : types.h
• vec_act_t : types.h
• Vec_Att_t : 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_Bit_t : vecBit.h
• Vec_BitForEachEntry : vecBit.h
• Vec_BitForEachEntryReverse : vecBit.h
• Vec_BitForEachEntryStart : vecBit.h
• Vec_BitForEachEntryStartStop : vecBit.h
• Vec_BitForEachEntryStop : vecBit.h
• vec_char_foreach : vec_char.h
• vec_char_foreach_start : vec_char.h
• vec_char_foreach_stop : vec_char.h
• vec_char_t : vec_char.h
• vec_flt_foreach : vec_flt.h
• vec_flt_foreach_start : vec_flt.h
• vec_flt_foreach_stop : vec_flt.h
• Vec_Flt_t : vecFlt.h
• vec_flt_t : vec_flt.h
• Vec_FltForEachEntry : vecFlt.h
• Vec_FltForEachEntryReverse : vecFlt.h
• Vec_FltForEachEntryStart : vecFlt.h
• Vec_FltForEachEntryStartStop : vecFlt.h
• vec_int_foreach : vec_int.h
• vec_int_foreach_start : vec_int.h
• vec_int_foreach_stop : vec_int.h
• Vec_Int_t : bblif.c, extraZddTrunc.c, vecInt.h
• vec_int_t : vec_int.h
• Vec_IntCopySkip() : plaHash.c
• Vec_IntCountNonTrivial() : giaIso.c
• Vec_IntDoubleWidth() : absVta.c
• Vec_IntForEachEntry : vecInt.h
• Vec_IntForEachEntryDouble : vecInt.h
• Vec_IntForEachEntryDoubleStart : vecInt.h
• Vec_IntForEachEntryInVec : vecInt.h
• Vec_IntForEachEntryReverse : vecInt.h
• Vec_IntForEachEntryReverseStart : vecInt.h
• Vec_IntForEachEntryStart : vecInt.h
• Vec_IntForEachEntryStartStop : vecInt.h
• Vec_IntForEachEntryStop : vecInt.h
• Vec_IntForEachEntryThisNext : vecInt.h
• Vec_IntForEachEntryThree : vecInt.h
• Vec_IntForEachEntryTriple : vecInt.h
• Vec_IntForEachEntryTwo : vecInt.h
• Vec_IntForEachEntryTwoStart : vecInt.h
• 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_Mem_t : utilMem.c, vecMem.h
• Vec_MemForEachEntry : vecMem.h
• Vec_Ptr_t : vecPtr.h
• Vec_PtrForEachEntry : vecPtr.h
• Vec_PtrForEachEntryDouble : vecPtr.h
• Vec_PtrForEachEntryReverse : vecPtr.h
• Vec_PtrForEachEntryStart : vecPtr.h
• Vec_PtrForEachEntryStartStop : vecPtr.h
• Vec_PtrForEachEntryStop : vecPtr.h
• Vec_PtrForEachEntryTwo : vecPtr.h
• Vec_Que_t : vecQue.h
• vec_sdbl_foreach : vec_sdbl.h
• vec_sdbl_foreach_start : vec_sdbl.h
• vec_sdbl_foreach_stop : vec_sdbl.h
• vec_sdbl_t : vec_sdbl.h
• Vec_Set_t : vecSet.h
• Vec_SetForEachEntry : vecSet.h
• Vec_Str_t : bblif.c, vecStr.h
• Vec_StrFetch() : bblif.c
• Vec_StrForEachEntry : vecStr.h
• Vec_StrGets() : mapperTree.c
• Vec_StrRead() : bblif.c
• Vec_StrWrite() : bblif.c
• vec_uint_foreach : vec_uint.h
• vec_uint_foreach_start : vec_uint.h
• vec_uint_foreach_stop : vec_uint.h
• vec_uint_t : vec_uint.h
• Vec_Vec_t : vecVec.h
• Vec_VecForEachEntry : vecVec.h
• Vec_VecForEachEntryInt : vecVec.h
• Vec_VecForEachEntryIntLevel : vecVec.h
• Vec_VecForEachEntryIntReverse : vecVec.h
• Vec_VecForEachEntryIntReverseReverse : vecVec.h
• Vec_VecForEachEntryIntReverseStart : vecVec.h
• Vec_VecForEachEntryIntStart : vecVec.h
• Vec_VecForEachEntryIntStartStop : 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_VecForEachLevelInt : vecVec.h
• Vec_VecForEachLevelIntReverse : vecVec.h
• Vec_VecForEachLevelIntReverseStartStop : vecVec.h
• Vec_VecForEachLevelIntStart : vecVec.h
• Vec_VecForEachLevelIntStartStop : vecVec.h
• Vec_VecForEachLevelIntStop : vecVec.h
• Vec_VecForEachLevelIntTwo : vecVec.h
• Vec_VecForEachLevelReverse : vecVec.h
• Vec_VecForEachLevelReverseStartStop : vecVec.h
• Vec_VecForEachLevelStart : vecVec.h
• Vec_VecForEachLevelStartStop : vecVec.h
• Vec_VecForEachLevelStop : vecVec.h
• Vec_VecForEachLevelTwo : vecVec.h
• Vec_Wec_t : vecWec.h
• Vec_WecForEachLevel : vecWec.h
• Vec_WecForEachLevelDouble : vecWec.h
• Vec_WecForEachLevelReverse : vecWec.h
• Vec_WecForEachLevelReverseStartStop : vecWec.h
• Vec_WecForEachLevelStart : vecWec.h
• Vec_WecForEachLevelStartStop : vecWec.h
• Vec_WecForEachLevelStop : vecWec.h
• Vec_WecForEachLevelTwo : vecWec.h
• Vec_WecForEachLevelVec : vecWec.h
• vec_wl_t : watch_list.h
• Vec_Wrd_t : vecWrd.h
• Vec_WrdDoubleSimInfo() : sscSim.c
• Vec_WrdForEachEntry : vecWrd.h
• Vec_WrdForEachEntryDouble : vecWrd.h
• Vec_WrdForEachEntryReverse : vecWrd.h
• Vec_WrdForEachEntryStart : vecWrd.h
• Vec_WrdForEachEntryStartStop : vecWrd.h
• Vec_WrdForEachEntryStop : vecWrd.h
• 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
• veci : satVec.h
• vecLoNames : liveness.c, liveness_sim.c
• vecLos : liveness.c, liveness_sim.c
• vecp : satVec.h
• vecPiNames : liveness.c, liveness_sim.c
• vecPis : liveness.c, liveness_sim.c
• vector : vector.h
• vectorDifference() : disjunctiveMonotone.c
• vectors : vector.h
• VER_BUFFER_SIZE : verStream.c
• Ver_Bundle_t : verCore.c
• Ver_FindGateInput() : verCore.c
• Ver_FormulaParser() : ver.h, 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_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_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_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() : 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
• VER_WORD_SIZE : verStream.c
• VERBOSE : message.hpp
• verbose_debug : espresso.h, globals.c
• verify() : espresso.h, verify.c
• VERIFY_TIME : espresso.h
• VERSION : espresso.h, cadical_version.cpp, build.h
• VERY_VERBOSE_IF_NOT_BUMPREASONS : kimits.c
• VERY_VERBOSE_OR_LOG : print.h
• 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
• vGlobalLtlArray : ioReadBlifMv.c
• vi : rewire_vec.h
• Vi_ForEachEntry : rewire_vec.h
• Vi_ForEachEntryReverse : rewire_vec.h
• Vi_ForEachEntryStart : rewire_vec.h
• Vi_ForEachEntryStop : rewire_vec.h
• VISITED : fretime.h
• VISITED_E : fretime.h
• VISITED_R : fretime.h
• vivifier : vivify.c
• vivify_terminated_1 : terminate.h
• vivify_terminated_2 : terminate.h
• vivify_terminated_3 : terminate.h
• vivify_terminated_4 : terminate.h
• vivify_terminated_5 : terminate.h
• vnsprintf() : abc_global.h, utilFile.c
• VOID_HACK : util_old.h
• voidp : zconf.h
• voidpc : zconf.h
• voidpf : zconf.h
• vprintf : fretime.h
• VPrintf0 : bzlib_private.h
• VPrintf1 : bzlib_private.h
• VPrintf2 : bzlib_private.h
• VPrintf3 : bzlib_private.h
• VPrintf4 : bzlib_private.h
• VPrintf5 : bzlib_private.h
• vs0 : exorLink.c
• vs1 : exorLink.c
• vsX : exorLink.c
• VTA_LARGE : absVta.c
• Vta_Man_t : absVta.c
• Vta_ManAbsPrintFrame() : absVta.c
• Vta_ManCollectNodes() : absVta.c
• Vta_ManCollectNodes_rec() : absVta.c
• Vta_ManComputeDepthIncrease() : absVta.c
• Vta_ManForEachObj : absVta.c
• Vta_ManForEachObjObj : absVta.c
• Vta_ManForEachObjObjReverse : absVta.c
• Vta_ManForEachObjObjVec : absVta.c
• Vta_ManForEachObjObjVecReverse : absVta.c
• Vta_ManForEachObjVec : absVta.c
• Vta_ManForEachObjVecReverse : 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
• Vta_Obj_t : absVta.c
• VTA_VAR0 : absVta.c
• VTA_VAR1 : absVta.c
• VTA_VARX : absVta.c