00001 #include "Rule.h"
00002
00003
00005
00006
00007
00009
00010 Rule::Rule(const TripleSource& premIn, const TripleSource& concIn,
00011 const char* varPattern = 0)
00012 {
00013
00014 std::cerr << "** RULE PREMISE" << premIn;
00015 std::cerr << "** RULE CONCLUSION" << concIn;
00016 std::cerr << "** RULE PATTERN" << varPattern << endl;
00017 }
00018
00019 #if 0
00020
00021 Rule::Rule(const Rule& other)
00022 {
00023 NOT_IMPLEMENTED
00024 }
00025
00026 const Rule& Rule::operator=(const Rule& other)
00027 {
00028 NOT_IMPLEMENTED
00029 }
00030
00031 bool Rule::operator==(const Rule& other) const
00032 {
00033 NOT_IMPLEMENTED
00034 }
00035
00036 bool Rule::operator<(const Rule& other) const
00037 {
00038 NOT_IMPLEMENTED
00039 }
00040
00041 size_t Rule::hash() const
00042 {
00043 NOT_IMPLEMENTED
00044 }
00045
00046 std::ostream& Rule::print_to(std::ostream& stream) const
00047 {
00048 NOT_IMPLEMENTED
00049 }
00050
00051 #endif
00052
00053 Rule::~Rule()
00054 {
00055
00056 }
00057
00059
00060
00061
00063
00064
00065
00067
00068
00069
00071