Line data    Source code

       1             : /*******************************************************************************
       2             :  *                                                                             *
       3             :  * Cosmos:(C)oncept et (O)utils (S)tatistique pour les (Mo)deles               *
       4             :  * (S)tochastiques                                                             *
       5             :  *                                                                             *
       6             :  * Copyright (C) 2009-2012 LSV & LACL                                          *
       7             :  * Authors: Paolo Ballarini Benoît Barbot & Hilal Djafri                       *
       8             :  * Website: http://www.lsv.ens-cachan.fr/Software/cosmos                       *
       9             :  *                                                                             *
      10             :  * This program is free software; you can redistribute it and/or modify        *
      11             :  * it under the terms of the GNU General Public License as published by        *
      12             :  * the Free Software Foundation; either version 3 of the License, or           *
      13             :  * (at your option) any later version.                                         *
      14             :  *                                                                             *
      15             :  * This program is distributed in the hope that it will be useful,             *
      16             :  * but WITHOUT ANY WARRANTY; without even the implied warranty of              *
      17             :  * MERCHANTABILITY or FITNESS FOR A PARTICULAR PURPOSE.  See the               *
      18             :  * GNU General Public License for more details.                                *
      19             :  *                                                                             *
      20             :  * You should have received a copy of the GNU General Public License along     *
      21             :  * with this program; if not, write to the Free Software Foundation, Inc.,     *
      22             :  * 51 Franklin Street, Fifth Floor, Boston, MA 02110-1301 USA.                 *
      23             :  * file InstanceSPNSim.cpp created by Benoît Barbot on 19/01/2017.             *
      24             :  *******************************************************************************
      25             :  */
      26             : 
      27             : 
      28             : //   Classes in SPNBase
      29             : #include "../SPNBase.cpp"
      30             : #include "../Simulator.cpp"
      31             : #include "SimulatorRE.hpp"
      32             : template class SimulatorBase<SimulatorRE<SPN_RE>, EventsQueue,SPN_RE>;
      33             : 
      34             : #include "SimulatorBoundedRE.hpp"
      35             : template class SimulatorBase<SimulatorBoundedRE<SPN_BoundedRE>, EventsQueue,SPN_BoundedRE>;
      36             : template class SimulatorBase<SimulatorBoundedRE<SPN_RE>, EventsQueue,SPN_RE>;
      37             : 
      38             : #include "SimulatorContinuousBounded.hpp"
      39             : template class SimulatorBase<SimulatorContinuousBounded<SPN_BoundedRE>, EventsQueue,SPN_BoundedRE>;
      40             : 
      41             : 
      42             : // Classes in SimulatorRE
      43             : #include "SimulatorRE.cpp"
      44             : 
      45             : template class SimulatorREBase<SimulatorRE<SPN_RE>, SPN_RE>;
      46             : template class SPNBaseRE<SPN_RE>;
      47             : 
      48             : #include "SimulatorBoundedRE.hpp"
      49             : template class SimulatorREBase<SimulatorBoundedRE<SPN_RE>, SPN_RE>;
      50             : template class SimulatorREBase<SimulatorBoundedRE<SPN_BoundedRE>, SPN_BoundedRE>;
      51             : template class SPNBaseRE<SPN_BoundedRE>;
      52             : 
      53             : #include "SimulatorContinuousBounded.hpp"
      54             : template class SimulatorREBase<SimulatorContinuousBounded<SPN_BoundedRE>, SPN_BoundedRE>;
      55             : 
      56             : //  Classes in SimulatorBounded
      57             : #include "SimulatorBoundedRE.cpp"
      58             : template class SimulatorBoundedREBase<SimulatorBoundedRE<SPN_BoundedRE>,SPN_BoundedRE>;
      59             : template class SimulatorBoundedRE<SPN_BoundedRE>;
      60             : template class SPNBaseBoundedRE<SPN_BoundedRE>;
      61             : 
      62             : #include "SimulatorContinuousBounded.hpp"
      63             : template class SimulatorBoundedREBase<SimulatorContinuousBounded<SPN_BoundedRE>,SPN_BoundedRE>;
      64             : 
      65             : //  Classes in SimulatorContinuousBounded
      66             : #include "SimulatorContinuousBounded.cpp"
      67           3 : template class SimulatorContinuousBounded<SPN_BoundedRE>;