souffle
2.0.2-371-g6315b36
ast
Data Structures
|
Namespaces
Literal.h File Reference
#include "
ast/Node.h
"
Include dependency graph for Literal.h:
This graph shows which files directly or indirectly include this file:
Go to the source code of this file.
Data Structures
class
souffle::ast::Literal
Defines
an abstract class for literals in a horn clause.
More...
Namespaces
souffle
souffle::ast
Generated by
1.8.17