ModalFormula.h File Reference

#include "CompoundFormula.h"
#include "ModalOperator.h"
#include "knowrob/TimeInterval.h"

Include dependency graph for ModalFormula.h:

Go to the source code of this file.

Classes
class	knowrob::ModalFormula

Namespaces
	knowrob
	knowrob::modals

Functions
std::shared_ptr< ModalFormula >	knowrob::modals::B (const FormulaPtr &phi)
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)
std::shared_ptr< ModalFormula >	knowrob::modals::K (const FormulaPtr &phi)
ModalOperatorPtr	knowrob::modals::K ()
ModalOperatorPtr	knowrob::modals::K (std::string_view perspective)
std::shared_ptr< ModalFormula >	knowrob::modals::P (const FormulaPtr &phi)
ModalOperatorPtr	knowrob::modals::P ()
ModalOperatorPtr	knowrob::modals::P (const TimeInterval &timeInterval)
std::shared_ptr< ModalFormula >	knowrob::modals::H (const FormulaPtr &phi)
ModalOperatorPtr	knowrob::modals::H ()
ModalOperatorPtr	knowrob::modals::H (const TimeInterval &timeInterval)