Here is a list of all functions, variables, defines, enums, and typedefs with links to the files they belong to:

- v -

• VAR : symbols.h
• VAR_CHAR : utils_io.h
• VAR_DOUBLE : utils_io.h
• VAR_INT : utils_io.h
• var_modifier : utils_io.h
• VAR_NONE : utils_io.h
• VAR_POINTER : utils_io.h
• VAR_STRING : utils_io.h
• var_type : utils_io.h
• VarOrderingType : BddEnc.h
• VARS_HANDLER : VarsHandler.h
• VARS_HANDLER_CHECK_INSTANCE : VarsHandler.h
• VARS_ORD_INPUTS_AFTER : enc.h
• VARS_ORD_INPUTS_AFTER_BI : enc.h
• VARS_ORD_INPUTS_BEFORE : enc.h
• VARS_ORD_INPUTS_BEFORE_BI : enc.h
• VARS_ORD_TOPOLOGICAL : enc.h
• VARS_ORD_TOPOLOGICAL_BI : enc.h
• VARS_ORD_TYPE : opt.h
• VARS_ORD_UNKNOWN : enc.h
• VarsHandler_ptr : VarsHandler.h
• VarsOrdType : enc.h
• VECTOR_ARRAY : Vector.h
• VECTOR_AT : Vector.h
• VECTOR_CAPACITY : Vector.h
• VECTOR_FIRST : Vector.h
• VECTOR_LAST : Vector.h
• VECTOR_SIZE : Vector.h
• VERBOSE_LEVEL : opt.h
• VFT_ALL : SymbTable.h
• VFT_CNIF : SymbTable.h
• VFT_CNIFD : SymbTable.h
• VFT_CONSTANTS : SymbTable.h
• VFT_CURR_FROZEN : SymbTable.h
• VFT_CURR_INPUT : SymbTable.h
• VFT_CURRENT : SymbTable.h
• VFT_DEFINE : SymbTable.h
• VFT_FROZEN : SymbTable.h
• VFT_FUNCTION : SymbTable.h
• VFT_INPUT : SymbTable.h
• VFT_NEXT : SymbTable.h
• VFT_STATE : SymbTable.h
• VIRTUAL : object.h
• VOIDPTR_FROM_INT : defs.h
• VPFBEFNNV : BddEnc.h
• VPFCVT : dd.h
• VPFDD : dd.h
• VPFDDCVT : dd.h
• VPFN : NodeMgr.h
• VPFNNF : BddEnc.h