souffle
2.0.2-371-g6315b36
ast
Data Structures
|
Namespaces
Constraint.h File Reference
#include "
ast/Literal.h
"
Include dependency graph for Constraint.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::Constraint
Abstract class for AST constraints.
More...
Namespaces
souffle
souffle::ast
Generated by
1.8.17