knowrob::FormulaLabel Class Reference

#include <Formula.h>

Public Member Functions
	FormulaLabel ()=default
virtual	~FormulaLabel ()=default
bool	operator== (const FormulaLabel &other)
	FormulaLabel ()=default
virtual	~FormulaLabel ()=default
bool	operator== (const FormulaLabel &other)

Protected Member Functions
virtual bool	isEqual (const FormulaLabel &other) const =0
virtual bool	isEqual (const FormulaLabel &other) const =0

Detailed Description

A label for a formula.

Definition at line 86 of file Formula.h.

Constructor & Destructor Documentation

FormulaLabel() [1/2]

knowrob::FormulaLabel::FormulaLabel ( )

default

~FormulaLabel() [1/2]

virtual knowrob::FormulaLabel::~FormulaLabel ( )

virtualdefault

FormulaLabel() [2/2]

knowrob::FormulaLabel::FormulaLabel ( )

default

~FormulaLabel() [2/2]

virtual knowrob::FormulaLabel::~FormulaLabel ( )

virtualdefault

Member Function Documentation

isEqual() [1/2]

virtual bool knowrob::FormulaLabel::isEqual ( const FormulaLabel &  other ) const

protectedpure virtual

isEqual() [2/2]

virtual bool knowrob::FormulaLabel::isEqual ( const FormulaLabel &  other ) const

protectedpure virtual

operator==() [1/2]

bool FormulaLabel::operator==

(

const FormulaLabel &

other

)

Definition at line 42 of file Formula.cpp.

                                                       {
    return typeid(*this) == typeid(other) && isEqual(other);
}

operator==() [2/2]

bool knowrob::FormulaLabel::operator==

(

const FormulaLabel &

other

)

---

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

• build/_CPack_Packages/Linux/DEB/knowrob-2.1.0-Linux/usr/include/knowrob/formulas/Formula.h
• src/formulas/Formula.cpp