Here is a list of all struct and union fields with links to the structures/unions they belong to:
- v -
- valid
: souffle::ast::transform::NullableVector< T >
, souffle::interpreter::Order
- validate()
: souffle::OptimisticReadWriteLock
- Value()
: json11::Value< tag, T >
- value
: souffle::ast::detail::is_ast_visitor< T >
, souffle::ast::Pragma
, souffle::ast::TypeCast
, souffle::detail::brie::SparseArrayIter< SparseArray >
, souffle::detail::brie::SparseBitMapIter< SparseBitMap >
, souffle::detail::brie::TrieIterator< Value, IterCore >
, souffle::detail::multiplying_printer< T >
, souffle::interpreter::Index< 0, Structure >::iterator
, souffle::profile::Cell< T >
, souffle::profile::Cell< double >
, souffle::profile::Cell< long >
, souffle::profile::Cell< std::chrono::microseconds >
, souffle::ram::detail::is_ram_visitor< T >
, souffle::SingleValueIterator< T >
, souffle::SparseArray< T, BITS, merge_op, copy_op >::Cell
, souffle::t_nullaries::iterator
, TCB_SPAN_NAMESPACE_NAME::detail::is_container< C, U >
, tinyformat::detail::is_convertible< T1, T2 >
- 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 >
- valueIndex
: souffle::ast2ram::ClauseTranslator
- ValueIndex()
: souffle::ast2ram::ValueIndex
- valueRead()
: souffle::ExplainProvenance
- values
: souffle::ram::AbstractExistenceCheck
- valueShow()
: souffle::ExplainProvenance
- var_references
: souffle::ast2ram::ValueIndex
- Variable()
: souffle::ast::analysis::Variable< Id, PropertySpace >
, souffle::ast::Variable
- variable_reference_map
: souffle::ast2ram::ValueIndex
- variableDependencies
: souffle::ast::BindingStore
- variables
: souffle::ast::analysis::ConstraintAnalysis< AnalysisVar >
, souffle::ast::analysis::NormalisedClause
- variadic
: souffle::IntrinsicFunctorInfo
- vector
: souffle::ast::transform::NullableVector< T >
- verbose
: souffle::ast::transform::MetaTransformer
- verify()
: souffle::ast::transform::GroundedTermsChecker
, souffle::ast::transform::TypeChecker
, souffle::ConstConstraint
, souffle::Equivalence
- version
: souffle::profile::Rule
, souffle::SparseArray< T, BITS, merge_op, copy_op >::FirstInfoSnapshot
, souffle::SparseArray< T, BITS, merge_op, copy_op >::RootInfoSnapshot
- vertices()
: souffle::Graph< Vertex, Compare >
- vformat
: tinyformat::FormatList
- View()
: souffle::interpreter::Index< _Arity, Structure >::View
, souffle::interpreter::Index< 0, Structure >::View
, souffle::interpreter::Relation< _Arity, Structure >
- viewContext
: souffle::interpreter::AbstractParallel
- viewId
: souffle::interpreter::NodeGenerator
, souffle::interpreter::ViewOperation
- viewInfoForFilter
: souffle::interpreter::ViewContext
- viewInfoForNested
: souffle::interpreter::ViewContext
- ViewOperation()
: souffle::interpreter::ViewOperation
- ViewPtr
: souffle::interpreter::Context
- views
: souffle::interpreter::Context
- viewTable
: souffle::interpreter::NodeGenerator
- visit()
: souffle::ast::analysis::TypeVisitor< R >
, souffle::ast::analysis::VisitOnceTypeVisitor< R >
, souffle::ast::detail::LambdaVisitor< R, N >
, souffle::ast::Visitor< R, Params >
, souffle::ram::detail::LambdaVisitor< R, N >
, souffle::ram::Visitor< R, Params >
- visitAggregate()
: souffle::interpreter::NodeGenerator
- visitAggregator()
: souffle::ast::analysis::TypeConstraintsAnalysis
, souffle::ast::transform::TypeCheckerImpl
- visitAtom()
: souffle::ast::analysis::TypeConstraintsAnalysis
, souffle::ast::transform::TypeCheckerImpl
- visitAutoIncrement()
: souffle::interpreter::NodeGenerator
- visitBinaryConstraint()
: souffle::ast::analysis::TypeConstraintsAnalysis
, souffle::ast::transform::TypeCheckerImpl
- visitBranchInit()
: souffle::ast::analysis::TypeConstraintsAnalysis
, souffle::ast::transform::TypeCheckerImpl
- visitBreak()
: souffle::interpreter::NodeGenerator
- visitCall()
: souffle::interpreter::NodeGenerator
- visitChoice()
: souffle::interpreter::NodeGenerator
- visitClear()
: souffle::interpreter::NodeGenerator
- visitConjunction()
: souffle::interpreter::NodeGenerator
- visitConstant()
: souffle::interpreter::NodeGenerator
- visitConstraint()
: souffle::interpreter::NodeGenerator
- visitCounter()
: souffle::ast::analysis::TypeConstraintsAnalysis
- visitDebugInfo()
: souffle::interpreter::NodeGenerator
- visitDepthFirst()
: souffle::Graph< Vertex, Compare >
- visitEmptinessCheck()
: souffle::interpreter::NodeGenerator
- visitExistenceCheck()
: souffle::interpreter::NodeGenerator
- visitExit()
: souffle::interpreter::NodeGenerator
- visitExtend()
: souffle::interpreter::NodeGenerator
- visitFalse()
: souffle::interpreter::NodeGenerator
- visitFilter()
: souffle::interpreter::NodeGenerator
- visitFunctor()
: souffle::ast::analysis::TypeConstraintsAnalysis
- visitIndexAggregate()
: souffle::interpreter::NodeGenerator
- visitIndexChoice()
: souffle::interpreter::NodeGenerator
- visitIndexScan()
: souffle::interpreter::NodeGenerator
- visitIntrinsicFunctor()
: souffle::ast::transform::TypeCheckerImpl
- visitIntrinsicOperator()
: souffle::interpreter::NodeGenerator
- visitIO()
: souffle::interpreter::NodeGenerator
- visitLogRelationTimer()
: souffle::interpreter::NodeGenerator
- visitLogSize()
: souffle::interpreter::NodeGenerator
- visitLogTimer()
: souffle::interpreter::NodeGenerator
- visitLoop()
: souffle::interpreter::NodeGenerator
- visitNegation()
: souffle::ast::analysis::TypeConstraintsAnalysis
, souffle::ast::transform::TypeCheckerImpl
, souffle::interpreter::NodeGenerator
- visitNestedIntrinsicOperator()
: souffle::interpreter::NodeGenerator
- visitNestedOperation()
: souffle::interpreter::NodeGenerator
- visitNilConstant()
: souffle::ast::transform::TypeCheckerImpl
- visitNode()
: souffle::ast::Visitor< R, Params >
, souffle::interpreter::NodeGenerator
, souffle::ram::Visitor< R, Params >
- visitNumericConstant()
: souffle::ast::analysis::TypeConstraintsAnalysis
, souffle::ast::transform::TypeCheckerImpl
- visitPackRecord()
: souffle::interpreter::NodeGenerator
- visitParallel()
: souffle::interpreter::NodeGenerator
- visitParallelAggregate()
: souffle::interpreter::NodeGenerator
- visitParallelChoice()
: souffle::interpreter::NodeGenerator
- visitParallelIndexAggregate()
: souffle::interpreter::NodeGenerator
- visitParallelIndexChoice()
: souffle::interpreter::NodeGenerator
- visitParallelIndexScan()
: souffle::interpreter::NodeGenerator
- visitParallelScan()
: souffle::interpreter::NodeGenerator
- visitProject()
: souffle::interpreter::NodeGenerator
- visitProvenanceExistenceCheck()
: souffle::interpreter::NodeGenerator
- visitQuery()
: souffle::interpreter::NodeGenerator
- visitRecordInit()
: souffle::ast::analysis::TypeConstraintsAnalysis
, souffle::ast::transform::TypeCheckerImpl
- visitRelationSize()
: souffle::interpreter::NodeGenerator
- visitScan()
: souffle::interpreter::NodeGenerator
- visitSequence()
: souffle::interpreter::NodeGenerator
- visitSink()
: souffle::ast::analysis::TypeConstraintsAnalysis
- visitStringConstant()
: souffle::ast::analysis::TypeConstraintsAnalysis
, souffle::ast::transform::TypeCheckerImpl
- visitSubroutineArgument()
: souffle::interpreter::NodeGenerator
- visitSubroutineReturn()
: souffle::interpreter::NodeGenerator
- visitSwap()
: souffle::interpreter::NodeGenerator
- visitTrue()
: souffle::interpreter::NodeGenerator
- visitTupleElement()
: souffle::interpreter::NodeGenerator
- visitTupleOperation()
: souffle::interpreter::NodeGenerator
- visitType()
: souffle::ast::analysis::TypeVisitor< R >
- visitTypeCast()
: souffle::ast::analysis::TypeConstraintsAnalysis
, souffle::ast::transform::TypeCheckerImpl
- visitUndefValue()
: souffle::interpreter::NodeGenerator
- visitUnpackRecord()
: souffle::interpreter::NodeGenerator
- visitUserDefinedFunctor()
: souffle::ast::transform::TypeCheckerImpl
- visitUserDefinedOperator()
: souffle::interpreter::NodeGenerator
- visitVariable()
: souffle::ast::transform::TypeCheckerImpl