knowrob::modals Namespace Reference

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

Function Documentation

B() [1/5]

ModalOperatorPtr knowrob::modals::B

(

)

Returns

the belief operator B

Definition at line 65 of file ModalFormula.cpp.

                         {
        static auto beliefOperator = std::make_shared<ModalOperator>(ModalType::BELIEF);
        return beliefOperator;
    }

B() [2/5]

std::shared_ptr< ModalFormula > knowrob::modals::B

(

const FormulaPtr &

phi

)

Apply modal operator "B" to a formula.

Parameters

phi	a formula.

Returns

a modal formula.

Definition at line 38 of file ModalFormula.cpp.

                                                         {
        return std::make_shared<ModalFormula>(B(), phi);
    }

B() [3/5]

ModalOperatorPtr knowrob::modals::B

(

double

confidence

)

Returns

the belief operator B

Definition at line 83 of file ModalFormula.cpp.

                                          {
        auto op = std::make_shared<ModalOperator>(ModalType::BELIEF);
        op->setConfidence(confidence);
        return op;
    }

B() [4/5]

ModalOperatorPtr knowrob::modals::B

(

std::string_view

perspective

)

Returns

the belief operator B

Parameters

perspective

a perspective IRI.

Definition at line 70 of file ModalFormula.cpp.

                                                   {
        auto op = std::make_shared<ModalOperator>(ModalType::BELIEF);
        op->setPerspective(perspective);
        return op;
    }

B() [5/5]

ModalOperatorPtr knowrob::modals::B	(	std::string_view	perspective,
		double	confidence
	)

Returns

the belief operator B

Parameters

perspective	a perspective IRI.
confidence	a confidence value.

Definition at line 76 of file ModalFormula.cpp.

                                                                      {
        auto op = std::make_shared<ModalOperator>(ModalType::BELIEF);
        op->setPerspective(perspective);
        op->setConfidence(confidence);
        return op;
    }

H() [1/3]

ModalOperatorPtr knowrob::modals::H

(

)

Returns

the belief operator H

Definition at line 100 of file ModalFormula.cpp.

                         {
        static auto op = std::make_shared<ModalOperator>(ModalType::ALWAYS);
        return op;
    }

H() [2/3]

std::shared_ptr< ModalFormula > knowrob::modals::H

(

const FormulaPtr &

phi

)

Apply modal operator "H" to a formula.

Parameters

phi	a formula.

Returns

a modal formula.

Definition at line 50 of file ModalFormula.cpp.

                                                         {
        return std::make_shared<ModalFormula>(H(), phi);
    }

H() [3/3]

ModalOperatorPtr knowrob::modals::H

(

const TimeInterval &

timeInterval

)

Returns

the belief operator H

Definition at line 105 of file ModalFormula.cpp.

                                                         {
        auto op = std::make_shared<ModalOperator>(ModalType::ALWAYS);
        op->setTimeInterval(timeInterval);
        return op;
    }

K() [1/3]

ModalOperatorPtr knowrob::modals::K

(

)

Returns

the knowledge operator K

Definition at line 54 of file ModalFormula.cpp.

                         {
        static auto k_withoutArgs = std::make_shared<ModalOperator>(ModalType::KNOWLEDGE);
        return k_withoutArgs;
    }

K() [2/3]

std::shared_ptr< ModalFormula > knowrob::modals::K

(

const FormulaPtr &

phi

)

Apply modal operator "K" to a formula.

Parameters

phi	a formula.

Returns

a modal formula.

Definition at line 42 of file ModalFormula.cpp.

                                                         {
        return std::make_shared<ModalFormula>(K(), phi);
    }

K() [3/3]

ModalOperatorPtr knowrob::modals::K

(

std::string_view

perspective

)

Returns

the knowledge operator K

Parameters

perspective

a perspective IRI.

Definition at line 59 of file ModalFormula.cpp.

                                                   {
        auto op = std::make_shared<ModalOperator>(ModalType::KNOWLEDGE);
        op->setPerspective(perspective);
        return op;
    }

P() [1/3]

ModalOperatorPtr knowrob::modals::P

(

)

Returns

the belief operator B

Definition at line 89 of file ModalFormula.cpp.

                         {
        static auto op = std::make_shared<ModalOperator>(ModalType::SOMETIMES);
        return op;
    }

P() [2/3]

std::shared_ptr< ModalFormula > knowrob::modals::P

(

const FormulaPtr &

phi

)

Apply modal operator "P" to a formula.

Parameters

phi	a formula.

Returns

a modal formula.

Definition at line 46 of file ModalFormula.cpp.

                                                         {
        return std::make_shared<ModalFormula>(P(), phi);
    }

P() [3/3]

ModalOperatorPtr knowrob::modals::P

(

const TimeInterval &

timeInterval

)

Returns

the belief operator B

Definition at line 94 of file ModalFormula.cpp.

                                                         {
        auto op = std::make_shared<ModalOperator>(ModalType::SOMETIMES);
        op->setTimeInterval(timeInterval);
        return op;
    }