- v -

• value : misc/espresso/main.h
• var0 : satSolver.c , satSolver2.c
• var1 : satSolver.c , satSolver2.c
• var_Undef : satVec.h
• variable : misc/espresso/main.h
• varX : satSolver.c , satSolver2.c
• vecLoNames : liveness.c , liveness_sim.c
• vecLos : liveness.c , liveness_sim.c
• vecPiNames : liveness_sim.c , liveness.c
• vecPis : liveness.c , liveness_sim.c
• verbose_debug : espresso.h , globals.c
• vGlobalLtlArray : ioReadBlifMv.c