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

- v -

• varinfo : satSolver.h
• varinfo2 : satSolver2.h
• vec_act_t : types.h
• Vec_Att_t : vecAtt.h
• Vec_Bit_t : vecBit.h
• vec_char_t : vec_char.h
• Vec_Flt_t : vecFlt.h
• vec_flt_t : vec_flt.h
• Vec_Int_t : bblif.c, extraZddTrunc.c, vecInt.h
• vec_int_t : vec_int.h
• Vec_Mem_t : utilMem.c, vecMem.h
• Vec_Ptr_t : vecPtr.h
• Vec_Que_t : vecQue.h
• vec_sdbl_t : vec_sdbl.h
• Vec_Set_t : vecSet.h
• Vec_Str_t : bblif.c, vecStr.h
• vec_uint_t : vec_uint.h
• Vec_Vec_t : vecVec.h
• Vec_Wec_t : vecWec.h
• vec_wl_t : watch_list.h
• Vec_Wrd_t : vecWrd.h
• veci : satVec.h
• vecp : satVec.h
• vector : vector.h
• vectors : vector.h
• Ver_Bundle_t : verCore.c
• Ver_Man_t : ver.h
• Ver_Stream_t : ver.h
• vi : rewire_vec.h
• vivifier : vivify.c
• voidp : zconf.h
• voidpc : zconf.h
• voidpf : zconf.h
• Vta_Man_t : absVta.c
• Vta_Obj_t : absVta.c