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:

• https://opensource.org/licenses/UPL
• <souffle root>/licenses/SOUFFLE-UPL.txt