- v -

• value_t : souffle::detail::brie::SparseBitMapIter< SparseBitMap > , souffle::SparseBitMap< BITS >
• value_type : souffle::ast::analysis::Assignment< Var > , souffle::ast::analysis::ConstraintAnalysis< AnalysisVar > , souffle::ast::analysis::property_space< T, meet_assign_op, bottom_factory, meet_op > , souffle::detail::brie::forward_non_output_iterator_traits< A > , souffle::detail::brie::SparseArrayIter< SparseArray > , souffle::detail::brie::SparseBitMapIter< SparseBitMap > , souffle::detail::btree< Key, Comparator, Allocator, blockSize, SearchStrategy, isSet, WeakComparator, Updater >::iterator , souffle::EquivalenceRelation< TupleType >::iterator , souffle::EquivalenceRelation< TupleType > , souffle::SparseArray< T, BITS, merge_op, copy_op > , souffle::t_nullaries::iterator , TCB_SPAN_NAMESPACE_NAME::span< ElementType, Extent >
• variable_reference_map : souffle::ast2ram::ValueIndex
• View : souffle::interpreter::Relation< _Arity, Structure >
• ViewPtr : souffle::interpreter::Context