00001 /*************************************************************************** 00002 * Copyright (C) 2006 by Rick L. Vinyard, Jr. * 00003 * rvinyard@cs.nmsu.edu * 00004 * * 00005 * This file is part of the clipsmm library. * 00006 * * 00007 * The clipsmm library is free software; you can redistribute it and/or * 00008 * modify it under the terms of the GNU General Public License * 00009 * version 3 as published by the Free Software Foundation. * 00010 * * 00011 * The clipsmm library is distributed in the hope that it will be * 00012 * useful, but WITHOUT ANY WARRANTY; without even the implied warranty * 00013 * of MERCHANTABILITY or FITNESS FOR A PARTICULAR PURPOSE. See the GNU * 00014 * General Public License for more details. * 00015 * * 00016 * You should have received a copy of the GNU General Public License * 00017 * along with this software. If not see <http://www.gnu.org/licenses/>. * 00018 ***************************************************************************/ 00019 #ifndef CLIPSFACT_H 00020 #define CLIPSFACT_H 00021 00022 #include <string> 00023 #include <vector> 00024 00025 #include <clipsmm/environmentobject.h> 00026 #include <clipsmm/template.h> 00027 #include <clipsmm/factory.h> 00028 00029 namespace CLIPS { 00030 00034 class Fact: public EnvironmentObject { 00035 public: 00036 typedef CLIPSPointer<Fact> pointer; 00037 00038 Fact( Environment& environment, void* cobj=NULL ); 00039 00040 static Fact::pointer create( Environment& environment, void* cobj=NULL ); 00041 00042 ~Fact(); 00043 00048 bool assign_slot_defaults(); 00049 00051 Template::pointer get_template(); 00052 00057 bool exists(); 00058 00063 long int index(); 00064 00066 std::vector<std::string> slot_names(); 00067 00069 Values slot_value(const std::string& slot_name); 00070 00072 Fact::pointer next(); 00073 00075 bool set_slot(const std::string& slot_name, const Values& values); 00076 00078 bool set_slot(const std::string& slot_name, const Value& value); 00079 00081 bool retract(); 00082 00083 protected: 00084 00085 }; 00086 00087 } 00088 00089 #endif