Rename: Concept=>Cologex
This commit is contained in:
@@ -0,0 +1,52 @@
|
||||
#ifndef _COMBINATORIAL_LOGIC_EXPRESSION_H
|
||||
#define _COMBINATORIAL_LOGIC_EXPRESSION_H
|
||||
|
||||
#include <vector>
|
||||
#include <memory>
|
||||
#include <logic.h>
|
||||
#include <mentalEntity.h>
|
||||
|
||||
namespace smo {
|
||||
namespace cologex {
|
||||
|
||||
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 Cologex;
|
||||
typedef CombinatorialLogicExpression Clast;
|
||||
|
||||
} // namespace cologex
|
||||
} // namespace smo
|
||||
|
||||
#endif
|
||||
Reference in New Issue
Block a user