Bindings.h File Reference

#include <queue>
#include <functional>
#include <map>
#include <memory>
#include <ostream>
#include "Term.h"
#include "Variable.h"
#include "knowrob/formulas/Formula.h"
#include "Atomic.h"
#include "knowrob/Printable.h"

Include dependency graph for Bindings.h:

This graph shows which files directly or indirectly include this file:

Go to the source code of this file.

Classes
class	knowrob::Bindings

Namespaces
	knowrob

Functions
TermPtr	knowrob::applyBindings (const TermPtr &term, const Bindings &bindings)
FormulaPtr	knowrob::applyBindings (const FormulaPtr &phi, const Bindings &bindings)