souffle  2.0.2-371-g6315b36
Namespaces | Typedefs | Functions
eqrel_datastructure_test.cpp File Reference
#include "tests/test.h"
#include "souffle/datastructure/BTree.h"
#include "souffle/datastructure/LambdaBTree.h"
#include "souffle/utility/StreamUtil.h"
#include <atomic>
#include <cstddef>
#include <functional>
#include <iostream>
#include <string>
#include <unordered_map>
#include <utility>
#include <vector>
#include "souffle/datastructure/PiggyList.h"
#include "souffle/datastructure/UnionFind.h"
Include dependency graph for eqrel_datastructure_test.cpp:

Go to the source code of this file.

Namespaces

 souffle
 
 souffle::test
 

Typedefs

using souffle::test::TestLambdaTree = souffle::LambdaBTreeSet< TestPair, std::function< TestPair::second_type(TestPair &)>, souffle::EqrelMapComparator< TestPair > >
 
typedef std::pair< size_t, size_t > souffle::test::TestPair
 

Functions

 souffle::test::TEST (DjTest, Clear)
 
 souffle::test::TEST (DjTest, MakeNode)
 
 souffle::test::TEST (DjTest, Scoping)
 The underlying Disjoint Set (essentially Anderson '91 Find-Union, but dynamic) More...
 
 souffle::test::TEST (DjTest, TestUnion)
 
 souffle::test::TEST (LambdaBTreeTest, Insert)
 
 souffle::test::TEST (LambdaBTreeTest, Scoping)
 The LambdaBTree - essentially a ripoff to the Btree, but allows a function to be called on successful insert. More...
 
 souffle::test::TEST (PiggyTest, Append)
 
 souffle::test::TEST (PiggyTest, CopyCtor)
 
 souffle::test::TEST (PiggyTest, DoubleClear)
 
 souffle::test::TEST (PiggyTest, ElementCreation)
 
 souffle::test::TEST (PiggyTest, Iteration)
 
 souffle::test::TEST (PiggyTest, Scoping)
 Regular Old Piggy List. More...
 
 souffle::test::TEST (RandomInsertPiggyTest, DoubleClear)
 
 souffle::test::TEST (RandomInsertPiggyTest, Insertion)
 
 souffle::test::TEST (RandomInsertPiggyTest, Scoping)
 Piggy List that allows creation at arbitrary elements. More...
 
 souffle::test::TEST (SparseDjTest, MakeNode)
 
 souffle::test::TEST (SparseDjTest, Scoping)
 The SparseDisjointSet that is used by the EquivalenceRelation. More...
 
 souffle::test::TEST (SparseDjTest, SignedData)
 
 souffle::test::TEST (SparseDjTest, TestUnion)