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)