models.hpp 6.4 KB

123456789101112131415161718192021222324252627282930313233343536373839404142434445464748495051525354555657585960616263646566676869707172737475767778798081828384858687888990919293949596979899100101102103104105106107108109110111112113114115116117118119120121122123124125126127128129130131132133134135136137138139140141142143144145146147148149150151152153154155156157158159160161162163164165166167168169170171172173174175176177178179180181182183184185186187188189190191192193194195196197198199200201202203204205206207208209210211212213214215216
  1. /**
  2. * @file tests/boost_graph/models.hpp
  3. * @author The PARADEVS Development Team
  4. * See the AUTHORS or Authors.txt file
  5. */
  6. /*
  7. * PARADEVS - the multimodeling and simulation environment
  8. * This file is a part of the PARADEVS environment
  9. *
  10. * Copyright (C) 2013-2015 ULCO http://www.univ-litoral.fr
  11. *
  12. * This program is free software: you can redistribute it and/or modify
  13. * it under the terms of the GNU General Public License as published by
  14. * the Free Software Foundation, either version 3 of the License, or
  15. * (at your option) any later version.
  16. *
  17. * This program is distributed in the hope that it will be useful,
  18. * but WITHOUT ANY WARRANTY; without even the implied warranty of
  19. * MERCHANTABILITY or FITNESS FOR A PARTICULAR PURPOSE. See the
  20. * GNU General Public License for more details.
  21. *
  22. * You should have received a copy of the GNU General Public License
  23. * along with this program. If not, see <http://www.gnu.org/licenses/>.
  24. */
  25. #ifndef TESTS_BOOST_GRAPH_MODELS_HPP
  26. #define TESTS_BOOST_GRAPH_MODELS_HPP 1
  27. #include <paradevs/common/time/DoubleTime.hpp>
  28. #include <paradevs/kernel/pdevs/Dynamics.hpp>
  29. namespace paradevs { namespace tests { namespace boost_graph {
  30. struct TopPixelParameters
  31. { };
  32. template < class SchedulerHandle>
  33. class TopPixel :
  34. public paradevs::pdevs::Dynamics < common::DoubleTime, SchedulerHandle,
  35. TopPixelParameters >
  36. {
  37. public:
  38. TopPixel(const std::string& name,
  39. const TopPixelParameters& parameters) :
  40. paradevs::pdevs::Dynamics < common::DoubleTime, SchedulerHandle,
  41. TopPixelParameters >(name, parameters),
  42. _value(0)
  43. { }
  44. virtual ~TopPixel()
  45. { }
  46. virtual void dint(typename common::DoubleTime::type /* t */)
  47. {
  48. // std::cout << TopPixel < SchedulerHandle >::get_name() << " at "
  49. // << t << ": dint" << std::endl;
  50. }
  51. virtual typename common::DoubleTime::type start(
  52. typename common::DoubleTime::type /* t */)
  53. {
  54. return 0;
  55. }
  56. virtual typename common::DoubleTime::type ta(
  57. typename common::DoubleTime::type /* t */) const
  58. { return 1; }
  59. virtual common::Bag < common::DoubleTime, SchedulerHandle > lambda(
  60. typename common::DoubleTime::type /* t */) const
  61. {
  62. // std::cout << TopPixel < SchedulerHandle >::get_name() << " at "
  63. // << t << ": lambda" << std::endl;
  64. common::Bag < common::DoubleTime, SchedulerHandle > bag;
  65. bag.push_back(common::ExternalEvent <
  66. common::DoubleTime, SchedulerHandle >(
  67. "out", (void*)&_value));
  68. return bag;
  69. }
  70. private:
  71. double _value;
  72. };
  73. struct NormalPixelParameters
  74. {
  75. NormalPixelParameters(unsigned int n) : _neighbour_number(n)
  76. { }
  77. unsigned int _neighbour_number;
  78. };
  79. template < class SchedulerHandle>
  80. class NormalPixel :
  81. public paradevs::pdevs::Dynamics < common::DoubleTime, SchedulerHandle,
  82. NormalPixelParameters >
  83. {
  84. public:
  85. NormalPixel(const std::string& name,
  86. const NormalPixelParameters& parameters) :
  87. paradevs::pdevs::Dynamics < common::DoubleTime, SchedulerHandle,
  88. NormalPixelParameters >(name, parameters),
  89. _neighbour_number(parameters._neighbour_number), _value(0)
  90. { }
  91. virtual ~NormalPixel()
  92. { }
  93. virtual void dint(typename common::DoubleTime::type t)
  94. {
  95. // std::cout << NormalPixel < SchedulerHandle >::get_name() << " at "
  96. // << t << ": dint" << std::endl;
  97. if (_phase == SEND) {
  98. _phase = WAIT;
  99. _received = 0;
  100. _last_time = t;
  101. }
  102. }
  103. virtual void dext(typename common::DoubleTime::type t,
  104. typename common::DoubleTime::type /* e */,
  105. const common::Bag < common::DoubleTime,
  106. SchedulerHandle >& bag)
  107. {
  108. // std::cout << NormalPixel < SchedulerHandle >::get_name() << " at "
  109. // << t << ": dext -> "
  110. // << bag.to_string() << std::endl;
  111. for (typename common::Bag < common::DoubleTime,
  112. SchedulerHandle >::const_iterator it =
  113. bag.begin(); it != bag.end(); ++it) {
  114. if (it->on_port("in")) {
  115. if (_last_time == t) {
  116. std::cout << "oups !" << std::endl;
  117. }
  118. ++_received;
  119. if (_received == _neighbour_number) {
  120. _phase = SEND;
  121. }
  122. }
  123. }
  124. // std::cout << NormalPixel < SchedulerHandle >::get_name() << " at "
  125. // << t << ": dext -> "
  126. // << _received << "/" << _neighbour_number
  127. // << std::endl;
  128. }
  129. virtual typename common::DoubleTime::type start(
  130. typename common::DoubleTime::type /* t */)
  131. {
  132. // std::cout << NormalPixel < SchedulerHandle >::get_name()
  133. // << " = " <<_neighbour_number << std::endl;
  134. _phase = WAIT;
  135. _received = 0;
  136. _last_time = common::DoubleTime::negative_infinity;
  137. return common::DoubleTime::infinity;
  138. }
  139. virtual typename common::DoubleTime::type ta(
  140. typename common::DoubleTime::type /* t */) const
  141. {
  142. // std::cout << NormalPixel < SchedulerHandle >::get_name() << " at "
  143. // << t << ": ta" << std::endl;
  144. if (_phase == WAIT) {
  145. return common::DoubleTime::infinity;
  146. } else {
  147. return 0;
  148. }
  149. }
  150. virtual common::Bag < common::DoubleTime, SchedulerHandle > lambda(
  151. typename common::DoubleTime::type /* t */) const
  152. {
  153. // std::cout << NormalPixel < SchedulerHandle >::get_name() << " at "
  154. // << t << ": lambda" << std::endl;
  155. common::Bag < common::DoubleTime, SchedulerHandle > bag;
  156. if (_phase == SEND) {
  157. bag.push_back(common::ExternalEvent <
  158. common::DoubleTime, SchedulerHandle >(
  159. "out", (void*)&_value));
  160. }
  161. return bag;
  162. }
  163. private:
  164. enum Phase { WAIT, SEND };
  165. unsigned int _neighbour_number;
  166. double _value;
  167. Phase _phase;
  168. unsigned int _received;
  169. typename common::DoubleTime::type _last_time;
  170. };
  171. } } } // namespace paradevs tests boost_graph
  172. #endif