interpreter_relation_test.cpp File Reference

#include "tests/test.h"
#include "interpreter/ProgInterface.h"
#include "interpreter/Relation.h"
#include "ram/analysis/Index.h"
#include "souffle/SouffleInterface.h"
#include "souffle/SymbolTable.h"
#include <iosfwd>
#include <string>
#include <utility>

Include dependency graph for interpreter_relation_test.cpp:

Go to the source code of this file.

Namespaces
	souffle
	souffle::interpreter
	souffle::interpreter::test

Functions
	souffle::interpreter::test::TEST (Basic, Iteration)
	souffle::interpreter::test::TEST (Independence, Iteration)
	souffle::interpreter::test::TEST (IndependentCopying, Iteration)
	souffle::interpreter::test::TEST (IndependentMoving, Iteration)
	souffle::interpreter::test::TEST (Relation0, Construction)
	souffle::interpreter::test::TEST (Relation0, Iteration)
	souffle::interpreter::test::TEST (Relation1, Construction)
	souffle::interpreter::test::TEST (Reordering, Iteration)