replicode
monitor.h
Go to the documentation of this file.
1 // monitor.h
2 //
3 // Author: Eric Nivel
4 //
5 // BSD license:
6 // Copyright (c) 2010, Eric Nivel
7 // All rights reserved.
8 // Redistribution and use in source and binary forms, with or without
9 // modification, are permitted provided that the following conditions are met:
10 //
11 // - Redistributions of source code must retain the above copyright
12 // notice, this list of conditions and the following disclaimer.
13 // - Redistributions in binary form must reproduce the above copyright
14 // notice, this list of conditions and the following disclaimer in the
15 // documentation and/or other materials provided with the distribution.
16 // - Neither the name of Eric Nivel nor the
17 // names of their contributors may be used to endorse or promote products
18 // derived from this software without specific prior written permission.
19 //
20 // THIS SOFTWARE IS PROVIDED BY THE REGENTS AND CONTRIBUTORS ``AS IS'' AND ANY
21 // EXPRESS OR IMPLIED WARRANTIES, INCLUDING, BUT NOT LIMITED TO, THE IMPLIED
22 // WARRANTIES OF MERCHANTABILITY AND FITNESS FOR A PARTICULAR PURPOSE ARE
23 // DISCLAIMED. IN NO EVENT SHALL THE REGENTS AND CONTRIBUTORS BE LIABLE FOR ANY
24 // DIRECT, INDIRECT, INCIDENTAL, SPECIAL, EXEMPLARY, OR CONSEQUENTIAL DAMAGES
25 // (INCLUDING, BUT NOT LIMITED TO, PROCUREMENT OF SUBSTITUTE GOODS OR SERVICES;
26 // LOSS OF USE, DATA, OR PROFITS; OR BUSINESS INTERRUPTION) HOWEVER CAUSED AND
27 // ON ANY THEORY OF LIABILITY, WHETHER IN CONTRACT, STRICT LIABILITY, OR TORT
28 // (INCLUDING NEGLIGENCE OR OTHERWISE) ARISING IN ANY WAY OUT OF THE USE OF THIS
29 // SOFTWARE, EVEN IF ADVISED OF THE POSSIBILITY OF SUCH DAMAGE.
30 
31 #ifndef monitor_h
32 #define monitor_h
33 
34 #include "binding_map.h"
35 #include "factory.h"
36 
37 
38 namespace r_exec {
39 
40 class MDLController;
41 
42 class Monitor:
43  public _Object {
44 protected:
46  P<Fact> target; // f->g or f->p.
47 
49 
50  Monitor(MDLController *controller,
51  BindingMap *bindings,
52  Fact *target); // fact.
53 public:
54  bool is_alive() const;
55  virtual bool reduce(_Fact *input) = 0;
56 };
57 }
58 
59 
60 #endif
Definition: factory.h:98
P< Fact > target
Definition: monitor.h:46
Definition: base.h:75
Definition: binding_map.h:177
virtual bool reduce(_Fact *input)=0
Definition: mdl_controller.h:98
Monitor(MDLController *controller, BindingMap *bindings, Fact *target)
Definition: monitor.cpp:38
Definition: _context.cpp:34
P< BindingMap > bindings
Definition: monitor.h:45
Definition: base.h:47
bool is_alive() const
Definition: monitor.cpp:46
Definition: factory.h:174
MDLController * controller
Definition: monitor.h:48
Definition: monitor.h:42