knowrob  2.1.0
A Knowledge Base System for Cognition-enabled Robots
FirstOrderLiteral.h File Reference
#include <memory>
#include "Predicate.h"
#include "knowrob/semweb/Triple.h"
Include dependency graph for FirstOrderLiteral.h:
This graph shows which files directly or indirectly include this file:

Go to the source code of this file.

Classes

class  knowrob::FirstOrderLiteral
 

Namespaces

 knowrob
 

Functions

FirstOrderLiteralPtr knowrob::applyBindings (const FirstOrderLiteralPtr &lit, const Bindings &bindings)