- v -

• varinfo : satSolver.h
• varinfo2 : satSolver2.h
• Vec_Att_t : vecAtt.h
• Vec_Bit_t : vecBit.h
• Vec_Flt_t : vecFlt.h
• Vec_Int_t : vecInt.h , bblif.c , extraZddTrunc.c
• Vec_Mem_t : utilMem.c , vecMem.h
• Vec_Ptr_t : vecPtr.h
• Vec_Que_t : vecQue.h
• Vec_Set_t : vecSet.h
• Vec_Str_t : bblif.c , vecStr.h
• Vec_Vec_t : vecVec.h
• Vec_Wec_t : vecWec.h
• Vec_Wrd_t : vecWrd.h
• veci : satVec.h
• vecp : satVec.h
• Ver_Bundle_t : verCore.c
• Ver_Man_t : ver.h
• Ver_Stream_t : ver.h
• voidp : zconf.h
• voidpc : zconf.h
• voidpf : zconf.h
• Vta_Man_t : absVta.c
• Vta_Obj_t : absVta.c