#include <AnswerNo.h>

Inheritance diagram for knowrob::AnswerNo:

[legend]

Collaboration diagram for knowrob::AnswerNo:

[legend]

Public Member Functions
	AnswerNo ()

	AnswerNo (const AnswerNo &other)

void	addUngrounded (const std::shared_ptr< Predicate > &predicate, bool isNegated=false)

auto &	positiveUngrounded () const

auto &	negativeUngrounded () const

bool	mergeWith (const AnswerNo &other)

std::string	stringFormOfNo () const

std::string	humanReadableFormOfNo () const

	AnswerNo ()

	AnswerNo (const AnswerNo &other)

void	addUngrounded (const std::shared_ptr< Predicate > &predicate, bool isNegated=false)

auto &	positiveUngrounded () const

auto &	negativeUngrounded () const

bool	mergeWith (const AnswerNo &other)

std::string	stringFormOfNo () const

std::string	humanReadableFormOfNo () const

Public Member Functions inherited from knowrob::Answer
	Answer ()

	Answer (const Answer &other)

auto &	frame () const

void	setFrame (const std::shared_ptr< GraphSelector > &frame)

void	applyFrame (const GraphSelector &frame)

bool	isNegative () const

bool	isPositive () const

bool	isUncertain () const

bool	isCertain () const

void	setIsUncertain (bool val, std::optional< double > confidence)

bool	isOccasionallyTrue () const

bool	isAllwaysTrue () const

void	setIsOccasionallyTrue (bool val)

void	setReasonerTerm (const AtomPtr &reasonerTerm)

auto &	reasonerTerm () const

size_t	hashOfAnswer () const

std::string	stringFormOfAnswer () const

std::string	humanReadableForm () const

	Answer ()

	Answer (const Answer &other)

auto &	frame () const

void	setFrame (const std::shared_ptr< GraphSelector > &frame)

void	applyFrame (const GraphSelector &frame)

bool	isNegative () const

bool	isPositive () const

bool	isUncertain () const

bool	isCertain () const

void	setIsUncertain (bool val, std::optional< double > confidence)

bool	isOccasionallyTrue () const

bool	isAllwaysTrue () const

void	setIsOccasionallyTrue (bool val)

void	setReasonerTerm (const AtomPtr &reasonerTerm)

auto &	reasonerTerm () const

size_t	hashOfAnswer () const

std::string	stringFormOfAnswer () const

std::string	humanReadableForm () const

Public Member Functions inherited from knowrob::Token
	Token (TokenType tokenType)

virtual	~Token ()=default

TokenType	tokenType () const

size_t	hash () const

std::string	stringForm () const

bool	isControlToken () const

bool	isAnswerToken () const

bool	indicatesEndOfEvaluation () const

void	write (std::ostream &os) const override

	Token (TokenType tokenType)

virtual	~Token ()=default

TokenType	tokenType () const

size_t	hash () const

std::string	stringForm () const

bool	isControlToken () const

bool	isAnswerToken () const

bool	indicatesEndOfEvaluation () const

void	write (std::ostream &os) const override

Public Member Functions inherited from knowrob::Printable
virtual	~Printable ()=default

virtual std::string	format () const

virtual	~Printable ()=default

virtual std::string	format () const

Protected Attributes
std::vector< FramedPredicate >	positiveUngrounded_

std::vector< FramedPredicate >	negativeUngrounded_

Protected Attributes inherited from knowrob::Answer
std::shared_ptr< GraphSelector >	frame_

AtomPtr	reasonerTerm_

bool	isPositive_ = false

bool	isNegative_ = false

Protected Attributes inherited from knowrob::Token
TokenType	tokenType_

bool	isTerminalToken_ = false

Additional Inherited Members
Protected Member Functions inherited from knowrob::Answer
void	setIsPositive (bool val)

void	setIsNegative (bool val)

void	setIsPositive (bool val)

void	setIsNegative (bool val)

Detailed Description

A negative answer indicates that a querying component has evidence for the input query being false for all instances of the query.

Definition at line 17 of file AnswerNo.h.

Constructor & Destructor Documentation

◆ AnswerNo() [1/4]

AnswerNo::AnswerNo ( )

Default constructor.

Definition at line 19 of file AnswerNo.cpp.

         : Answer() {
     setIsNegative(true);
 }

◆ AnswerNo() [2/4]

AnswerNo::AnswerNo ( const AnswerNo & other )

Copy constructor.

Parameters

other another answer.

Definition at line 24 of file AnswerNo.cpp.

         : Answer(other) {
     setIsNegative(true);
 }

◆ AnswerNo() [3/4]

knowrob::AnswerNo::AnswerNo ( )

Default constructor.

◆ AnswerNo() [4/4]

knowrob::AnswerNo::AnswerNo ( const AnswerNo & other )

Copy constructor.

Parameters

other another answer.

Member Function Documentation

◆ addUngrounded() [1/2]

void AnswerNo::addUngrounded	(	const std::shared_ptr< Predicate > &	predicate,
		bool	isNegated = `false`
	)

Add a ungroundable literal to the answer.

Parameters

predicate	a predicate.
isNegated	true if the negation of the predicate is ungroundable.

Definition at line 29 of file AnswerNo.cpp.

                                                                                       {
     if (isNegated) {
         negativeUngrounded_.emplace_back(predicate, DefaultGraphSelector(), reasonerTerm_);
     } else {
         positiveUngrounded_.emplace_back(predicate, DefaultGraphSelector(), reasonerTerm_);
     }
 }

◆ addUngrounded() [2/2]

void knowrob::AnswerNo::addUngrounded	(	const std::shared_ptr< Predicate > &	predicate,
		bool	isNegated = `false`
	)

Add a ungroundable literal to the answer.

Parameters

predicate	a predicate.
isNegated	true if the negation of the predicate is ungroundable.

◆ humanReadableFormOfNo() [1/2]

std::string AnswerNo::humanReadableFormOfNo ( ) const

Returns: the human readable form of this answer.

Definition at line 82 of file AnswerNo.cpp.

                                                 {
     static const std::string longMsg = "there was evidence supporting the query to be false";
     return longMsg;
 }

◆ humanReadableFormOfNo() [2/2]

std::string knowrob::AnswerNo::humanReadableFormOfNo ( ) const

Returns: the human readable form of this answer.

◆ mergeWith() [1/2]

bool AnswerNo::mergeWith ( const AnswerNo & other )

Merge this answer with another answer.

Parameters

other another answer.

Returns: true if the merge was successful.

Definition at line 37 of file AnswerNo.cpp.

                                               {
     reasonerTerm_ = {};
     if (!frame_->mergeWith(*other.frame_)) {
         // merging frames failed -> results cannot be combined
         return false;
     }
     // insert groundings of other answer
     positiveUngrounded_.insert(positiveUngrounded_.end(),
                                other.positiveUngrounded_.begin(), other.positiveUngrounded_.end());
     negativeUngrounded_.insert(negativeUngrounded_.end(),
                                other.negativeUngrounded_.begin(), other.negativeUngrounded_.end());
     return true;
 }

◆ mergeWith() [2/2]

bool knowrob::AnswerNo::mergeWith ( const AnswerNo & other )

Merge this answer with another answer.

Parameters

other another answer.

Returns: true if the merge was successful.

◆ negativeUngrounded() [1/2]

auto& knowrob::AnswerNo::negativeUngrounded ( ) const

inline

Part of the answer is that certain literals that appear negated in the query are not true. This is a list of such literals.

Returns: a list of negative groundings.

Definition at line 49 of file AnswerNo.h.

49 { return negativeUngrounded_; }

◆ negativeUngrounded() [2/2]

auto& knowrob::AnswerNo::negativeUngrounded ( ) const

inline

Part of the answer is that certain literals that appear negated in the query are not true. This is a list of such literals.

Returns: a list of negative groundings.

Definition at line 49 of file AnswerNo.h.

49 { return negativeUngrounded_; }

◆ positiveUngrounded() [1/2]

auto& knowrob::AnswerNo::positiveUngrounded ( ) const

inline

Part of the answer is that certain literals that appear positive in the query are true. This is a list of such literals.

Returns: a list of positive groundings.

Definition at line 42 of file AnswerNo.h.

42 { return positiveUngrounded_; }

◆ positiveUngrounded() [2/2]

auto& knowrob::AnswerNo::positiveUngrounded ( ) const

inline

Part of the answer is that certain literals that appear positive in the query are true. This is a list of such literals.

Returns: a list of positive groundings.

Definition at line 42 of file AnswerNo.h.

42 { return positiveUngrounded_; }

◆ stringFormOfNo() [1/2]

std::string AnswerNo::stringFormOfNo ( ) const

Returns: the string form of this answer.

Definition at line 51 of file AnswerNo.cpp.

                                          {
     std::stringstream os;
     if (reasonerTerm_) {
         os << "[" << *reasonerTerm_ << "] ";
     }
     if (isUncertain()) {
         os << "probably ";
     }
     os << "no";
     if (!positiveUngrounded_.empty() || !negativeUngrounded_.empty()) {
         os << ", because:\n";
         for (auto &x: positiveUngrounded_) {
             os << '\t' << *x.graphSelector() << ' ' << '~' << *x.predicate();
             if (x.reasonerTerm() && x.reasonerTerm() != reasonerTerm_) {
                 os << ' ' << '[' << *x.reasonerTerm() << "]";
             }
             os << '\n';
         }
         for (auto &x: negativeUngrounded_) {
             os << '\t' << *x.graphSelector() << *x.predicate();
             if (x.reasonerTerm() && x.reasonerTerm() != reasonerTerm_) {
                 os << ' ' << '[' << *x.reasonerTerm() << "]";
             }
             os << '\n';
         }
     } else {
         os << '\n';
     }
     return os.str();
 }

◆ stringFormOfNo() [2/2]

std::string knowrob::AnswerNo::stringFormOfNo ( ) const

Returns: the string form of this answer.

Member Data Documentation

◆ negativeUngrounded_

std::vector< FramedPredicate > knowrob::AnswerNo::negativeUngrounded_

protected

Definition at line 70 of file AnswerNo.h.

◆ positiveUngrounded_

std::vector< FramedPredicate > knowrob::AnswerNo::positiveUngrounded_

protected

Definition at line 69 of file AnswerNo.h.

The documentation for this class was generated from the following files:

build/_CPack_Packages/Linux/DEB/knowrob-2.1.0-Linux/usr/include/knowrob/queries/AnswerNo.h
src/queries/AnswerNo.cpp

Public Member Functions

Protected Attributes

Additional Inherited Members

Detailed Description

Constructor & Destructor Documentation

◆ AnswerNo() [1/4]

◆ AnswerNo() [2/4]

◆ AnswerNo() [3/4]

◆ AnswerNo() [4/4]

Member Function Documentation

◆ addUngrounded() [1/2]

◆ addUngrounded() [2/2]

◆ humanReadableFormOfNo() [1/2]

◆ humanReadableFormOfNo() [2/2]

◆ mergeWith() [1/2]

◆ mergeWith() [2/2]

◆ negativeUngrounded() [1/2]

◆ negativeUngrounded() [2/2]

◆ positiveUngrounded() [1/2]

◆ positiveUngrounded() [2/2]

◆ stringFormOfNo() [1/2]

◆ stringFormOfNo() [2/2]

Member Data Documentation

◆ negativeUngrounded_

◆ positiveUngrounded_