AIKB.h

//      Copyright (C) 2004 Dylan Blair
//
//      email: dblair@alumni.cs.utexas.edu
//
//      This library is free software; you can redistribute it and/or
//      modify it under the terms of the GNU Lesser General Public
//      License as published by the Free Software Foundation; either
//      version 2.1 of the License, or (at your option) any later version.
//
//      This library is distributed in the hope that it will be useful,
//      but WITHOUT ANY WARRANTY; without even the implied warranty of
//      MERCHANTABILITY or FITNESS FOR A PARTICULAR PURPOSE.  See the GNU
//      Lesser General Public License for more details.
//
//      You should have received a copy of the GNU Lesser General Public
//      License along with this library; if not, write to the Free Software
//      Foundation, Inc., 59 Temple Place, Suite 330, Boston, MA  02111-1307  USA

#pragma warning(disable:4786) //get rid of MSVC++ warning about long names for STL

#ifndef AIKB_H
#define AIKB_H

#include "AIKBSplayTree.h"

class AIKB {
        const int exceptionsmax;
        AIKBSplayTree theexceptions;

public:
        std::vector<AIException> reserve; 

        AIKB();

        AIKB(const int exceptionsmax_, const int reserve_, int paramssizeinit_);

        bool  addEntry(AIException anexception_, bool disallow_if_prem_name_exists_=false);

        bool  addEntry(AIPremise apremise_, bool disallow_if_prem_name_exists_=false);

        void  removeEntry(AIPremise apremise_, bool all_, int num_of_params_to_check_=-1); 

        int   size() const;

        const std::vector<AIException>& find(const AIException& anexception_);

        int   findStateScore(int stateID_) const;
};

#endif //AIKB_H

---