Main Page   Namespace List   Class Hierarchy   Compound List   File List   Compound Members   File Members   Related Pages   Examples  

Rule.h

00001 // See the file LICENSE in the some directory as this file for legal
00002 // notices about this software.
00003 #ifndef DEV_W3_ORG__2001_BLINDFOLD_SRC_RULE_H
00004 #define DEV_W3_ORG__2001_BLINDFOLD_SRC_RULE_H
00005 // $Id: Rule_8h-source.html,v 1.1 2001/10/10 20:40:58 sandro Exp $
00006 #include "config.h"
00007 #include "TripleSource.h"
00008 #include "InMemoryPool.h"
00009 
00013 class Rule {
00014       
00015 public:
00016 
00017     // STANDARD MEMBER FUNCTIONS
00018     Rule(const TripleSource& premIn, const TripleSource& concIn,
00019      const char* varPattern = 0);
00020     Rule(const Rule& other);
00021     const Rule& operator=(const Rule& other);
00022     bool operator==(const Rule& other) const;
00023     bool operator<(const Rule& other) const;
00024     size_t hash() const;
00025     friend std::ostream& operator<<(std::ostream& s, const Rule& me);
00026     std::ostream& print_to(std::ostream& stream) const; 
00027     ~Rule();       
00028 
00029     // OVERRIDES
00030 
00031     // CLASS-SPECIFIC PUBLIC INTERFACE
00032 
00033 
00034 private:
00035     InMemoryPool premise;
00036     InMemoryPool conclusion;
00037     int premExiVars;
00038     int concExiVars;
00039 
00040     // compiled regex stuff
00041 
00042     // function to internalize a TripleSource
00043 
00044 };     
00045 
00046 STANDARD_EXTERNAL(Rule)
00047 
00048 #endif  /* DEV_W3_ORG__2001_BLINDFOLD_SRC_RULE_H */   // -*-C++-*-

Home to blindfold. This page generated via doxygen 1.2.11.1 Wed Oct 10 16:40:33 2001.