00001 /*************************************************************************** 00002 * Copyright (C) 2006 by Rick L. Vinyard, Jr. <rvinyard@cs.nmsu.edu> * 00003 * Copyright (C) 2013 by Tim Niemueller <tim@niemueller.de> * 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 static Fact::pointer create( Environment& environment, Template::pointer temp ); 00042 00043 ~Fact(); 00044 00049 bool assign_slot_defaults(); 00050 00052 Template::pointer get_template(); 00053 00058 bool exists() const; 00059 00064 long int index() const; 00065 00067 std::vector<std::string> slot_names(); 00068 00070 Values slot_value(const std::string& slot_name); 00071 00073 Fact::pointer next(); 00074 00076 bool set_slot(const std::string& slot_name, const Values& values); 00077 00079 bool set_slot(const std::string& slot_name, const Value& value); 00080 00082 bool retract(); 00083 00084 bool operator==(const Fact &other) const; 00085 bool operator==(const Fact::pointer &other) const; 00086 00087 unsigned int refcount() const; 00088 00089 protected: 00090 00091 }; 00092 00093 } 00094 00095 #endif