Formula.h File Reference

#include <memory>
#include <ostream>
#include "knowrob/Printable.h"

Include dependency graph for Formula.h:

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

Go to the source code of this file.

Classes
class	knowrob::Formula
class	knowrob::FormulaLabel

Namespaces
	knowrob

Enumerations
enum class	knowrob::FormulaType {   knowrob::PREDICATE , knowrob::CONJUNCTION , knowrob::DISJUNCTION , knowrob::NEGATION ,   knowrob::IMPLICATION , knowrob::MODAL , knowrob::PREDICATE , knowrob::CONJUNCTION ,   knowrob::DISJUNCTION , knowrob::NEGATION , knowrob::IMPLICATION , knowrob::MODAL }