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