souffle
2.0.2-371-g6315b36
ram
Data Structures
|
Namespaces
Condition.h File Reference
#include "
ram/Node.h
"
Include dependency graph for Condition.h:
This graph shows which files directly or indirectly include this file:
Go to the source code of this file.
Data Structures
class
souffle::ram::Condition
Abstract class for conditions and boolean values in RAM.
More...
Namespaces
souffle
souffle::ram
Generated by
1.8.17