Dispatcher.h

Go to the documentation of this file.

#ifndef DISPATCHER_INCLUDED
#define DISPATCHER_INCLUDED

#include <odem.h>

#include "HStorage.h"
#include "PaletteFrame.h"
#include "Vehicle.h"


class Dispatcher : public Discrete {
public:
        Waitq*                          nextArriveQ;            // Synchronisation mit Vehicle
        Waitq*                          dispatcherQ;            // Synchronisation mit Crane
        PlaceConfiguration*     placeConfiguration;     // Nutzung eines Bin-Objektes
        CraneRequestq*          craneRequestQ;          // Nutzung eines CondQ-Objektes
        Crane*                          crane;
        Bin*                            takeOff;                        // Synchronisation mit Control
        SetOfRingStack*         palette;
        Place                           *parkPlace;
        
        Dispatcher(char *n, Bin *tOff, Waitq *nAQ, Waitq *dPQ, 
                CraneRequestq *cRQ, PlaceConfiguration *pC, Crane *cr);

        virtual int main();
};


#endif

---