Here is a list of all macros 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
• VAR_ACT_INIT_INC : types.h
• VAR_ACT_LIMIT : types.h
• VAR_ACT_RESCALE : types.h
• var_Undef : SolverTypes.h
• VARS : internal.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_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_flt_foreach : vec_flt.h
• vec_flt_foreach_start : vec_flt.h
• vec_flt_foreach_stop : 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_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_MemForEachEntry : vecMem.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_sdbl_foreach : vec_sdbl.h
• vec_sdbl_foreach_start : vec_sdbl.h
• vec_sdbl_foreach_stop : vec_sdbl.h
• Vec_SetForEachEntry : vecSet.h
• Vec_StrForEachEntry : vecStr.h
• vec_uint_foreach : vec_uint.h
• vec_uint_foreach_start : vec_uint.h
• vec_uint_foreach_stop : vec_uint.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_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_WrdForEachEntry : vecWrd.h
• Vec_WrdForEachEntryDouble : vecWrd.h
• Vec_WrdForEachEntryReverse : vecWrd.h
• Vec_WrdForEachEntryStart : vecWrd.h
• Vec_WrdForEachEntryStartStop : vecWrd.h
• Vec_WrdForEachEntryStop : vecWrd.h
• VER_BUFFER_SIZE : verStream.c
• 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_WORD_SIZE : verStream.c
• VERBOSE : message.hpp
• 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
• 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
• 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
• VOID_HACK : util_old.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
• VTA_LARGE : 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_VAR0 : absVta.c
• VTA_VAR1 : absVta.c
• VTA_VARX : absVta.c