Implementation of the Pred class and its derived classes. More...

#include "pl_search/pred.hpp"
#include "pl_search/trail.hpp"
#include "pl_search/term.hpp"

Include dependency graph for pred.cpp:

Functions
PredPtr	pl_search::conjunction (std::vector< PredPtr > preds)
	Represents a conjunction of predicates by chaining them together via continuations. The continuations of each predicate is modified to point to the next predicate in the conjunction. The continuation of the last predicate in the conjunction is not modified.

std::string	pl_search::repr (PredPtr pred)

Detailed Description

Implementation of the Pred class and its derived classes.

Namespaces