clipsmm - C++ CLIPS Interface Library
Main Page
Namespaces
Classes
Files
File List
File Members
clipsmm
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
24
#include <
clipsmm/environmentobject.h
>
25
26
namespace
CLIPS {
27
31
class
DefaultFacts
:
public
EnvironmentObject
{
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
47
DefaultFacts::pointer
next
();
48
49
bool
is_deletable
();
50
51
bool
retract
();
52
53
};
54
55
}
56
57
#endif
Generated on Sat Apr 13 2013 10:04:51 for clipsmm by
1.8.1.1