binary_relation_test.cpp File Reference

#include "tests/test.h"
#include "souffle/RamTypes.h"
#include "souffle/utility/ContainerUtil.h"
#include <algorithm>
#include <iostream>
#include <random>
#include <string>
#include <utility>
#include <vector>
#include <cstddef>
#include "souffle/datastructure/EquivalenceRelation.h"

Include dependency graph for binary_relation_test.cpp:

Go to the source code of this file.

Namespaces
	souffle
	souffle::test

Typedefs
using	souffle::test::EqRel = souffle::EquivalenceRelation< Tuple< RamDomain, 2 > >

Functions
	souffle::test::TEST (EqRelTest, Basic)
	souffle::test::TEST (EqRelTest, Clear)
	souffle::test::TEST (EqRelTest, Duplicates)
	souffle::test::TEST (EqRelTest, Extend)
	souffle::test::TEST (EqRelTest, IterBasic)
	souffle::test::TEST (EqRelTest, IterEmpty)
	souffle::test::TEST (EqRelTest, IterPartition)
	souffle::test::TEST (EqRelTest, IterRange)
	souffle::test::TEST (EqRelTest, Merge)
	souffle::test::TEST (EqRelTest, PairwiseDecremental)
	souffle::test::TEST (EqRelTest, PairwiseIncremental)
	souffle::test::TEST (EqRelTest, Scaling)
	souffle::test::TEST (EqRelTest, Scoping)
	souffle::test::TEST (EqRelTest, Shuffled)
	souffle::test::TEST (EqRelTest, TransitivityTest)