owlcpp::Equivalent Class Reference

Test for equivalent concepts. More...

#include <predicate_fact.hpp>

Inheritance diagram for owlcpp::Equivalent:

Public Member Functions
	Equivalent (const TDLConceptExpression *ce, ReasoningKernel &kernel)
bool	operator() (const ClassifiableEntry *ce) const

Additional Inherited Members
Public Types inherited from owlcpp::CE_predicate
typedef CE_predicate	type

Detailed Description

Test for equivalent concepts.

---

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

• include/owlcpp/logic/predicate_fact.hpp