formula.h File Reference

#include <boost/spirit/include/qi.hpp>
#include "knowrob/formulas/Formula.h"
#include "knowrob/formulas/Predicate.h"

Include dependency graph for formula.h:

Go to the source code of this file.

Namespaces
	knowrob
	knowrob::parsers
	knowrob::parsers::formula

Functions
FormulaRule &	knowrob::parsers::formula::formula ()
PredicateRule &	knowrob::parsers::formula::predicate ()