Definition of the Engine class and related structures. More...
#include "clist.hpp"#include "pred.hpp"#include "pvar.hpp"#include "term.hpp"#include "typedefs.hpp"#include <memory>#include <stack>
Include dependency graph for engine.hpp:
This graph shows which files directly or indirectly include this file:
Go to the source code of this file.
Classes | |
| struct | pl_search::trail_entry |
| Represents a trail entry for backtracking. More... | |
| struct | pl_search::env_entry |
| Represents an environment entry for predicates. More... | |
| class | pl_search::Engine |
| The Engine class manages the execution of predicates and backtracking. More... | |
Namespaces | |
| namespace | pl_search |
Detailed Description
Definition of the Engine class and related structures.
