ModalFormula.cpp File Reference

#include <utility>
#include "knowrob/formulas/ModalFormula.h"
#include "knowrob/integration/python/utils.h"
#include "knowrob/terms/Numeric.h"

Include dependency graph for ModalFormula.cpp:

Go to the source code of this file.

Namespaces
	knowrob
	knowrob::modals
	knowrob::py

Functions
std::shared_ptr< ModalFormula >	knowrob::modals::B (const FormulaPtr &phi)
std::shared_ptr< ModalFormula >	knowrob::modals::K (const FormulaPtr &phi)
std::shared_ptr< ModalFormula >	knowrob::modals::P (const FormulaPtr &phi)
std::shared_ptr< ModalFormula >	knowrob::modals::H (const FormulaPtr &phi)
ModalOperatorPtr	knowrob::modals::K ()
ModalOperatorPtr	knowrob::modals::K (std::string_view perspective)
ModalOperatorPtr	knowrob::modals::B ()
ModalOperatorPtr	knowrob::modals::B (std::string_view perspective)
ModalOperatorPtr	knowrob::modals::B (std::string_view perspective, double confidence)
ModalOperatorPtr	knowrob::modals::B (double confidence)
ModalOperatorPtr	knowrob::modals::P ()
ModalOperatorPtr	knowrob::modals::P (const TimeInterval &timeInterval)
ModalOperatorPtr	knowrob::modals::H ()
ModalOperatorPtr	knowrob::modals::H (const TimeInterval &timeInterval)
template<>
void	knowrob::py::createType< ModalFormula > ()