BAM
Abstract Machine for Bottom-Up Evaluation with the Push Method
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:
Generated by   doxygen 1.8.10