- v -

• v : Opts_EnumRec
• value : HrcDumperInfo , WordNumber , OAEntry , avl_node , SubstString , WordNumber
• var2enc : BoolEnc
• var2mask : BoolEnc
• varCapacity : Rbc_Manager_t
• vars_set : SexpFsm
• varTable : Rbc_Manager_t
• verbosity : BaseTraceExecutor
• verify : Prop
• verify_all : PropDb
• vHandle : Dag_Vertex_t
• viol_handler : CheckerBase
• visibility_map : TracePlugin
• visit : Dag_Vertex_t
• vTable : Dag_Manager_t