52 lines
1.1 KiB
C++
52 lines
1.1 KiB
C++
#ifndef _CONCEPT_H
|
|
#define _CONCEPT_H
|
|
|
|
#include <vector>
|
|
#include <memory>
|
|
#include <logic.h>
|
|
#include <mentalEntity.h>
|
|
|
|
namespace smo {
|
|
namespace concepts {
|
|
|
|
class Comparator
|
|
: public MentalEntity, public logic::Operand
|
|
{
|
|
public:
|
|
/** EXPLANATION:
|
|
* The reference for a Comparator is the fixed mentity or range of mentities
|
|
* that this comparator is intended to validate a match against.
|
|
*
|
|
* There are several mentities against which a comparator can match. At the
|
|
* time of writing, we're fairly sure that these will be at minimum,
|
|
* qualia, chronomena and mentena.
|
|
*/
|
|
std::shared_ptr<MentalEntity> reference;
|
|
};
|
|
|
|
class ComparatorExpression
|
|
: public logic::UnaryExpression
|
|
{
|
|
public:
|
|
ComparatorExpression(
|
|
logic::Operator &op, std::shared_ptr<Comparator> &comparator
|
|
)
|
|
: logic::UnaryExpression(
|
|
op, std::static_pointer_cast<logic::Operand>(comparator))
|
|
{}
|
|
};
|
|
|
|
class CombinatorialLogicExpression
|
|
: public MentalEntity, public logic::Expression
|
|
{
|
|
public:
|
|
|
|
};
|
|
|
|
typedef CombinatorialLogicExpression Concept;
|
|
|
|
} // namespace concept
|
|
} // namespace smo
|
|
|
|
#endif
|