Implementation of the Pred class and its derived classes. More...
#include "pl_search/pred.hpp"#include "pl_search/choice_iterator.hpp"#include "pl_search/engine.hpp"#include "pl_search/term.hpp"
Include dependency graph for pred.cpp:
Namespaces | |
| namespace | pl_search |
Functions | |
| PredPtr | pl_search::conjunction (std::vector< PredPtr > preds) |
| Represents a conjunction of predicates by chaining them together via continuations. | |
| std::string | pl_search::repr (PredPtr pred) |
Detailed Description
Implementation of the Pred class and its derived classes.
