souffle  2.0.2-371-g6315b36
Data Structures | Namespaces | Typedefs | Functions
matching_test.cpp File Reference
#include "tests/test.h"
#include "ram/analysis/Index.h"
#include <cstddef>
#include <cstdint>
#include <string>
Include dependency graph for matching_test.cpp:

Go to the source code of this file.

Data Structures

class  souffle::ram::TestAutoIndex
 

Namespaces

 souffle
 
 souffle::ram
 

Typedefs

using souffle::ram::Nodes = MinIndexSelection::SearchSet
 

Functions

SearchSignature souffle::ram::setBits (size_t arity, uint64_t mask)
 
 souffle::ram::TEST (Matching, StaticTest_1)
 
 souffle::ram::TEST (Matching, StaticTest_2)
 
 souffle::ram::TEST (Matching, TestOver64BitSignature)