defaultfacts.h

00001 /***************************************************************************
00002 *   clipsmm C++ wrapper for the CLIPS c library                           *
00003 *   Copyright (C) 2006 by Rick L. Vinyard, Jr.                            *
00004 *   rvinyard@cs.nmsu.edu                                                  *
00005 *                                                                         *
00006 *   This program is free software; you can redistribute it and/or modify  *
00007 *   it under the terms of version 2 of the GNU General Public License as  *
00008 *   published by the Free Software Foundation.                            *
00009 *                                                                         *
00010 *   This program is distributed in the hope that it will be useful,       *
00011 *   but WITHOUT ANY WARRANTY; without even the implied warranty of        *
00012 *   MERCHANTABILITY or FITNESS FOR A PARTICULAR PURPOSE.  See the         *
00013 *   GNU General Public License for more details.                          *
00014 *                                                                         *
00015 *   You should have received a copy of the GNU Lesser General Public      *
00016 *   License along with this library; if not, write to the                 *
00017 *   Free Software Foundation, Inc.,                                       *
00018 *   51 Franklin St, Fifth Floor, Boston, MA  02110-1301  USA              *
00019 ***************************************************************************/
00020 #ifndef CLIPSDEFAULTFACTS_H
00021 #define CLIPSDEFAULTFACTS_H
00022 
00023 #include <string>
00024 
00025 #include <clipsmm/environmentobject.h>
00026 
00027 namespace CLIPS {
00028 
00032   class DefaultFacts : public EnvironmentObject {
00033     public:
00034       typedef CLIPSPointer<DefaultFacts> pointer;
00035 
00036       DefaultFacts( Environment& environment, void* cobj = NULL );
00037 
00038       static DefaultFacts::pointer create( Environment& environment, void* cobj = NULL );
00039 
00040       ~DefaultFacts();
00041 
00042       std::string name();
00043 
00044       std::string module_name();
00045 
00046       std::string formatted();
00047 
00048       DefaultFacts::pointer next();
00049 
00050       bool is_deletable();
00051 
00052       bool retract();
00053 
00054   };
00055 
00056 }
00057 
00058 #endif

Generated on Sun Nov 12 11:55:35 2006 by  doxygen 1.5.1