Definition of the binding trail. More...
#include "term.hpp"#include "clist.hpp"#include "patom.hpp"#include "pfloat.hpp"#include "pint.hpp"#include "pvar.hpp"#include "typedefs.hpp"#include <memory>#include <stack>
Include dependency graph for trail.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 |
| class | pl_search::Trail |
| The Trail class is used to manage variable bindings during the execution of Prolog-like predicates. More... | |
Namespaces | |
| namespace | pl_search |
Detailed Description
Definition of the binding trail.
