clipsmm - C++ CLIPS Interface Library

clipsmm logo
defaultfacts.h
Go to the documentation of this file.
1 /***************************************************************************
2  * Copyright (C) 2006 by Rick L. Vinyard, Jr. *
3  * rvinyard@cs.nmsu.edu *
4  * *
5  * This file is part of the clipsmm library. *
6  * *
7  * The clipsmm library is free software; you can redistribute it and/or *
8  * modify it under the terms of the GNU General Public License *
9  * version 3 as published by the Free Software Foundation. *
10  * *
11  * The clipsmm library is distributed in the hope that it will be *
12  * useful, but WITHOUT ANY WARRANTY; without even the implied warranty *
13  * of MERCHANTABILITY or FITNESS FOR A PARTICULAR PURPOSE. See the GNU *
14  * General Public License for more details. *
15  * *
16  * You should have received a copy of the GNU General Public License *
17  * along with this software. If not see <http://www.gnu.org/licenses/>. *
18  ***************************************************************************/
19 #ifndef CLIPSDEFAULTFACTS_H
20 #define CLIPSDEFAULTFACTS_H
21 
22 #include <string>
23 
25 
26 namespace CLIPS {
27 
32  public:
33  typedef CLIPSPointer<DefaultFacts> pointer;
34 
35  DefaultFacts( Environment& environment, void* cobj = NULL );
36 
37  static DefaultFacts::pointer create( Environment& environment, void* cobj = NULL );
38 
39  ~DefaultFacts();
40 
41  std::string name();
42 
43  std::string module_name();
44 
45  std::string formatted();
46 
48 
49  bool is_deletable();
50 
51  bool retract();
52 
53  };
54 
55 }
56 
57 #endif

Generated on Thu Sep 27 2012 17:57:05 for clipsmm by doxygen 1.8.1.2