Here is a list of all variables with links to the classes they belong to:

- v -

• v : AggValue
• val : agg_token, PermutationStrategy::node_type
• valid : ancestry_cache_entry, InvFreeMarker, key_cache_entry, table_info_cache_entry
• valuation : dDNNFTreeDecompositionBuilder::dDNNFGate
• value : MMappedUUIDHashTable::value_t, NewHashSlot, OldHashSlot, provsql::DiracShape, StandardAgg< T >
• varattno : aggregation_type_mutator_context
• variable : BooleanCircuit::CNFInputMapping
• varno : aggregation_type_mutator_context, reduce_varattno_mutator_context
• varnos : qc_varnos_ctx
• vars : Atom, qc_vars_ctx
• version : MMappedUUIDHashTable::table_t, MMappedVector< T >::data_t, NewTableHdr, NewVecHdr
• vertex : ReachabilityCompiler::SourceArc, ReachabilityCompiler::VertexHopRoot, ReachabilityCompiler::VertexRoot