formula.cpp File Reference

#include <boost/spirit/include/phoenix.hpp>
#include "knowrob/queries/parsers/common.h"
#include "knowrob/queries/parsers/formula.h"
#include "knowrob/queries/parsers/terms.h"
#include "knowrob/queries/parsers/strings.h"
#include "knowrob/queries/QueryError.h"
#include "knowrob/formulas/Predicate.h"
#include "knowrob/formulas/Implication.h"
#include "knowrob/formulas/Conjunction.h"
#include "knowrob/formulas/Disjunction.h"
#include "knowrob/formulas/Negation.h"
#include "knowrob/formulas/ModalFormula.h"
#include "knowrob/terms/ListTerm.h"
#include "knowrob/terms/Term.h"
#include "knowrob/terms/Numeric.h"
#include "knowrob/TimeInterval.h"
#include "knowrob/Logger.h"

Include dependency graph for formula.cpp:

Go to the source code of this file.

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

Macros
#define	RETURN_FORMULA_RULE(expr)   static FormulaRule r(expr); return r
#define	RETURN_PREDICATE_RULE(expr)   static PredicateRule r(expr); return r
#define	REPORT_UNRECOGNIZED(opt)   throw QueryError("Unrecognized option ({}) in modal operator.", *(opt))

Functions
PredicateRule &	knowrob::parsers::formula::predicate_n ()
PredicateRule &	knowrob::parsers::formula::predicate_0 ()
PredicateRule &	knowrob::parsers::formula::predicate ()
auto &	knowrob::parsers::formula::parsers ()
FormulaRule &	knowrob::parsers::formula::formula ()

Macro Definition Documentation

REPORT_UNRECOGNIZED

#define REPORT_UNRECOGNIZED

(

opt

)

throw QueryError("Unrecognized option ({}) in modal operator.", *(opt))

Definition at line 27 of file formula.cpp.

RETURN_FORMULA_RULE

#define RETURN_FORMULA_RULE

(

expr

)

static FormulaRule r(expr); return r

Definition at line 24 of file formula.cpp.

RETURN_PREDICATE_RULE

#define RETURN_PREDICATE_RULE

(

expr

)

static PredicateRule r(expr); return r

Definition at line 25 of file formula.cpp.