souffle
2.0.2-371-g6315b36
|
Souffle - A Datalog Compiler Copyright (c) 2013, 2015, Oracle and/or its affiliates. More...
Data Structures | |
class | BrieRelation |
class | DirectRelation |
class | EqrelRelation |
class | IndirectRelation |
class | InfoRelation |
class | NullaryRelation |
class | Relation |
class | Synthesiser |
A RAM synthesiser: synthesises a C++ program from a RAM program. More... | |
Souffle - A Datalog Compiler Copyright (c) 2013, 2015, Oracle and/or its affiliates.
All rights reserved Licensed under the Universal Permissive License v 1.0 as shown at: