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 CLIPSACTIVATION_H 00020 #define CLIPSACTIVATION_H 00021 00022 #include <string> 00023 00024 #include <clipsmm/environmentobject.h> 00025 00026 namespace CLIPS { 00027 00031 class Activation : public EnvironmentObject { 00032 public: 00033 typedef CLIPSPointer<Activation> pointer; 00034 00035 Activation( Environment& environment, void* cobj = NULL ); 00036 00037 static Activation::pointer create( Environment& environment, void* cobj = NULL ); 00038 00039 ~Activation(); 00040 00041 std::string name(); 00042 00043 std::string formatted(); 00044 00045 bool deactivate(); 00046 00047 int salience(); 00048 00053 int set_salience( int sal ); 00054 00055 Activation::pointer next(); 00056 00057 }; 00058 00059 } 00060 00061 #endif