souffle
2.0.2-371-g6315b36
ast2ram
Data Structures
|
Namespaces
ProvenanceClauseTranslator.h File Reference
#include "
ast2ram/ClauseTranslator.h
"
Include dependency graph for ProvenanceClauseTranslator.h:
This graph shows which files directly or indirectly include this file:
Go to the source code of this file.
Data Structures
class
souffle::ast2ram::ProvenanceClauseTranslator
Namespaces
souffle
souffle::ast
souffle::ast2ram
souffle::ram
Generated by
1.8.17