souffle  2.0.2-371-g6315b36
Meta.h
Go to the documentation of this file.
1 /*
2  * Souffle - A Datalog Compiler
3  * Copyright (c) 2018, The Souffle Developers. All rights reserved
4  * Licensed under the Universal Permissive License v 1.0 as shown at:
5  * - https://opensource.org/licenses/UPL
6  * - <souffle root>/licenses/SOUFFLE-UPL.txt
7  */
8 
9 /************************************************************************
10  *
11  * @file Meta.h
12  *
13  * Defines the interface for RAM transformation passes.
14  *
15  ***********************************************************************/
16 
17 #pragma once
18 
20 
21 namespace souffle::ram::transform {
22 
23 /**
24  * @Class MetaTransformer
25  * @Brief Abstract class to identifier meta transformer
26  */
27 class MetaTransformer : public Transformer {};
28 
29 } // namespace souffle::ram::transform
souffle::ram::transform
Definition: ChoiceConversion.cpp:30
Transformer.h