---

XSBPool.h

// See the file LICENSE in the some directory as this file for legal
// notices about this software.
#ifndef DEV_W3_ORG__2001_BLINDFOLD_SRC_XSBPOOL_H
#define DEV_W3_ORG__2001_BLINDFOLD_SRC_XSBPOOL_H
// $Id: XSBPool_8h-source.html,v 1.2 2001/10/10 20:40:58 sandro Exp $
#include "config.h"
#include "XSBAgent.h"
#include "DeductivePool.h"

class XSBPool : public DeductivePool {
      
public:

    // STANDARD MEMBER FUNCTIONS
    XSBPool(XSBAgent& agent, VariableScope* scope = 0);
    XSBPool(const XSBPool& other);
    const XSBPool& operator=(const XSBPool& other);
    bool operator==(const XSBPool& other) const;
    bool operator<(const XSBPool& other) const;
    size_t hash() const;
    friend std::ostream& operator<<(std::ostream& s, const XSBPool& me);
    std::ostream& print_to(std::ostream& stream) const; 
    ~XSBPool();       

    // (RE)IMPLEMENTATION OF INHERITED MEMBERS

    void add(Triple t) { cache.add(t); maybeChanged = true;}

    Triple fetch(Triple simplePattern, LoopState &loopState, 
         unsigned long max_results=0) const {
    return cache.fetch(simplePattern, loopState, max_results);
    }
    
    Query* query(const TripleSource &pattern) {
    return new XSBQuery(agent, *this, pattern);
    }

    void remove(Triple t) {
    maybeChanged = true;
    cache.remove(t);
    }

    void replace(Symbol old, Symbol replacement) {
    maybeChanged = true;
    cache.replace(old, replacement);
    }

    VariableScope* getScope() const { return cache.getScope(); }


    // CLASS-SPECIFIC PUBLIC INTERFACE

    void sync();

private:
    XSBAgent& agent;
    char* fileName;
    std::ostream* file;
    friend class XSBQuery;
    std::string predicate;
    InMemoryPool cache;
    bool maybeChanged;
};     

STANDARD_EXTERNAL(XSBPool)

#endif  /* DEV_W3_ORG__2001_BLINDFOLD_SRC_XSBPOOL_H */   // -*-C++-*-

---

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