- u -

• UnaryNode() : souffle::interpreter::UnaryNode
• underflow() : souffle::gzfstream::internal::gzfstreambuf
• unionNodes() : souffle::DisjointSet , souffle::SparseDisjointSet< SparseDomain >
• UnionType() : souffle::ast::analysis::UnionType , souffle::ast::UnionType
• unlock() : souffle::Lock , souffle::SpinLock
• unpack() : souffle::RecordMap , souffle::RecordTable
• UnpackRecord() : souffle::interpreter::UnpackRecord , souffle::ram::UnpackRecord
• unsafeGetType() : souffle::ast::analysis::SumTypeBranchesAnalysis
• unsafeLookup() : souffle::SymbolTable
• unsafeResolve() : souffle::SymbolTable
• unset() : souffle::BaseTable< K, V >
• UnsignedConstant() : souffle::ram::UnsignedConstant
• update() : souffle::ast::analysis::Constraint< Var > , souffle::detail::btree< Key, Comparator, Allocator, blockSize, SearchStrategy, isSet, WeakComparator, Updater > , souffle::detail::updater< T > , souffle::interpreter::ProvenanceUpdater< Arity > , souffle::SparseArray< T, BITS, merge_op, copy_op >
• updateAnterior() : souffle::EquivalenceRelation< TupleType >::iterator
• updatePosterior() : souffle::EquivalenceRelation< TupleType >::iterator
• updateRoot() : souffle::DisjointSet
• updateSearch() : souffle::ram::analysis::MinIndexSelection
• upper_bound() : souffle::detail::binary_search , souffle::detail::btree< Key, Comparator, Allocator, blockSize, SearchStrategy, isSet, WeakComparator, Updater > , souffle::detail::linear_search , souffle::EquivalenceRelation< TupleType > , souffle::SparseBitMap< BITS > , souffle::Trie< Dim > , souffle::Trie< 1u >
• upperBound() : souffle::SparseArray< T, BITS, merge_op, copy_op >
• UserDefinedFunctor() : souffle::ast::UserDefinedFunctor
• UserDefinedOperator() : souffle::ram::UserDefinedOperator