Rule.cpp Source File

00001 #include "Rule.h"
00002 // $Id: Rule_8cpp-source.html,v 1.1 2001/10/10 20:40:58 sandro Exp $
00003 
00005 //
00006 //  Standard Member Functions
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  /* omit definitions until they are implemented */
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 /* omit definitions until they are implemented */
00052     
00053 Rule::~Rule()
00054 {
00055     // blank default    
00056 }
00057 
00059 //
00060 //  Additional Public Member Functions
00061 //
00063 
00064 
00065 
00067 //
00068 //  Additional Private Member Functions
00069 //
00071