#include "tests/test.h"
#include "FunctorOps.h"
#include "RelationTag.h"
#include "ram/Break.h"
#include "ram/Clear.h"
#include "ram/Condition.h"
#include "ram/Constraint.h"
#include "ram/DebugInfo.h"
#include "ram/EmptinessCheck.h"
#include "ram/ExistenceCheck.h"
#include "ram/Exit.h"
#include "ram/Expression.h"
#include "ram/Extend.h"
#include "ram/Filter.h"
#include "ram/IO.h"
#include "ram/IntrinsicOperator.h"
#include "ram/LogRelationTimer.h"
#include "ram/LogSize.h"
#include "ram/LogTimer.h"
#include "ram/Loop.h"
#include "ram/Negation.h"
#include "ram/Operation.h"
#include "ram/Parallel.h"
#include "ram/ParallelChoice.h"
#include "ram/Project.h"
#include "ram/Query.h"
#include "ram/Relation.h"
#include "ram/Scan.h"
#include "ram/Sequence.h"
#include "ram/SignedConstant.h"
#include "ram/Statement.h"
#include "ram/SubroutineReturn.h"
#include "ram/Swap.h"
#include "ram/TupleElement.h"
#include "ram/UndefValue.h"
#include "souffle/BinaryConstraintOps.h"
#include <algorithm>
#include <map>
#include <memory>
#include <string>
#include <utility>
#include <vector>
Go to the source code of this file.
|
| souffle::ram::test::TEST (Clear, CloneAndEquals) |
|
| souffle::ram::test::TEST (DebugInfo, CloneAndEquals) |
|
| souffle::ram::test::TEST (Exit, CloneAndEquals) |
|
| souffle::ram::test::TEST (Extend, CloneAndEquals) |
|
| souffle::ram::test::TEST (IO1, CloneAndEquals) |
|
| souffle::ram::test::TEST (LogRelationTimer, CloneAndEquals) |
|
| souffle::ram::test::TEST (LogSize, CloneAndEquals) |
|
| souffle::ram::test::TEST (LogTimer, CloneAndEquals) |
|
| souffle::ram::test::TEST (Loop, CloneAndEquals) |
|
| souffle::ram::test::TEST (Parallel, CloneAndEquals) |
|
| souffle::ram::test::TEST (Query, CloneAndEquals) |
|
| souffle::ram::test::TEST (Sequence, CloneAndEquals) |
|
| souffle::ram::test::TEST (Swap, CloneAndEquals) |
|