predicate_fact_abstract.hpp

Go to the documentation of this file.

#ifndef PREDICATE_FACT_ABSTRACT_HPP_
#define PREDICATE_FACT_ABSTRACT_HPP_
class ClassifiableEntry;
class TDLConceptExpression;

namespace owlcpp{

struct CE_predicate {
   virtual bool operator()(const ClassifiableEntry*) const = 0;
   typedef CE_predicate type;
   virtual ~CE_predicate() {}
};

struct C_predicate {
   virtual bool operator()(const TDLConceptExpression*) const = 0;
   virtual ~C_predicate() {}
};

}//namespace owlcpp
#endif /* PREDICATE_FACT_ABSTRACT_HPP_ */