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 CLIPSRULE_H 00020 #define CLIPSRULE_H 00021 00022 #include <clipsmm/environmentobject.h> 00023 00024 namespace CLIPS { 00025 00029 class Rule: public EnvironmentObject { 00030 public: 00031 typedef CLIPSPointer<Rule> pointer; 00032 00033 Rule( Environment& environment, void* cobj=NULL ); 00034 00035 static Rule::pointer create( Environment& environment, void* cobj=NULL ); 00036 00037 ~Rule(); 00038 00039 bool is_breakpoint_set(); 00040 00041 std::string module_name(); 00042 00043 std::string name(); 00044 00045 std::string formatted(); 00046 00047 bool activations_watched(); 00048 00049 bool firings_watched(); 00050 00051 Rule::pointer next(); 00052 00053 bool is_deletable(); 00054 00055 void refresh(); 00056 00057 bool remove_break(); 00058 00059 void set_break(); 00060 00061 void set_watch_activations( bool set=true ); 00062 00063 void set_watch_firings( bool set=true ); 00064 00065 bool retract(); 00066 00069 protected: 00070 00071 }; 00072 00073 } 00074 00075 #endif