FLOPC++
flopc.hpp
Go to the documentation of this file.
1 // ******************** FlopCpp **********************************************
2 // File: flopc.hpp
3 // $Id$
4 // Author: Tim Helge Hultberg (thh@mat.ua.pt)
5 // Copyright (C) 2003 Tim Helge Hultberg
6 // All Rights Reserved.
7 // ****************************************************************************
8 
9 #ifndef _flopc_hpp_
10 #define _flopc_hpp_
11 
12 #include "MP_variable.hpp"
13 #include "MP_set.hpp"
14 #include "MP_index.hpp"
15 #include "MP_constant.hpp"
16 #include "MP_data.hpp"
17 #include "MP_constraint.hpp"
18 #include "MP_expression.hpp"
19 #include "MP_boolean.hpp"
20 #include "MP_model.hpp"
21 
49 namespace flopc {
50 
55  inline void forall(const MP_domain& d, const Functor& f) {
56  d.forall(&f);
57  }
58 
64  inline void forall(const Functor& f) {
66  }
67 
72  inline void operator<<=(const MP_domain& s, const MP_domain& d) {
73  d.forall( s->makeInsertFunctor());
74  }
75 
83  inline void minimize(const MP_expression &obj) {
85  }
86 
95  inline void minimize_max(MP_set& d, const MP_expression &obj) {
97  }
98 
106  inline void maximize(const MP_expression &obj) {
108  }
109 
110 } // End of namespace flopc
111 #endif