souffle  2.0.2-371-g6315b36
Data Structures
souffle::synthesiser Namespace Reference

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...
 

Detailed Description

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: