- v -

• valueComesBefore() : eSSA.cpp
• var_has_value_ones() : vcd_trace_head.cpp
• var_is_later_or_equal() : vcd_trace_head.cpp
• varFound() : rebuild_initializations.cpp
• VarMax() : Statistics.hpp , Statistics.cpp , Statistics.hpp
• VarSum() : Statistics.hpp , Statistics.cpp , Statistics.hpp , Statistics.cpp , Statistics.hpp , Statistics.cpp
• VERTEX() : graph.hpp
• view_vec() : simple_raytrace.c
• viterbi() : viterbi.h , viterbi.c