BAM
Abstract Machine for Bottom-Up Evaluation with the Push Method
main.h
Go to the documentation of this file.
1 // ============================================================================
2 // Project: Deductive Database
3 // Filename: main.h
4 // Purpose: Project Documentation for doxygen
5 // Last Change: 04.08.2017
6 // Language: C++ / doxygen
7 // EMail: brass@informatik.uni-halle.de
8 // WWW: http://www.informatik.uni-halle.de/~brass/
9 // Address: Feldschloesschen 15, D-06120 Halle (Saale), GERMANY
10 // Copyright: (c) 2016-2017 by Stefan Brass
11 // License: See file "LICENSE" for copying conditions.
12 // Note: There is no warranty at all - this code may contain bugs.
13 // ============================================================================
14 
15 
22 //=============================================================================
23 // Project documentation for doxygen:
24 //=============================================================================
25