BAM
Abstract Machine for Bottom-Up Evaluation with the Push Method
Main Page
Related Pages
Classes
Files
Class List
Class Index
Class Hierarchy
Class Members
•
All
Classes
Files
Functions
Typedefs
Enumerations
Enumerator
Macros
Pages
Public Member Functions
|
List of all members
load_c Class Reference
Public Member Functions
void
add
(
pred_t
predicate)
bool
load
(
str_t
filename)
void
dump
(
str_t
headline=
STR_NULL
) const
The documentation for this class was generated from the following files:
facts/
load.h
facts/load.cpp
Generated by
1.8.10