IDianaPetriNet.hpp

#ifndef IDIANA_PETRINET_H
#define IDIANA_PETRINET_H


#include <CapeOpen.hpp>

namespace Diana {
        class IDianaNumericDAESolver;
        
        class IDianaPetriNet {
        public:
          virtual Common::Collection::ICapeCollection* GetPlaces()=0;
          virtual Common::Collection::ICapeCollection* GetTransitions()=0;
            virtual Common::Types::CapeBoolean Switch(const Common::Types::CapeArrayLong& indices)=0;

            virtual Common::Types::CapeBoolean shouldFork()=0;
            virtual void afterFork(const Common::Types::CapeArrayLong& phiIndices,Common::Types::CapeBoolean isDaughter)=0;

            virtual Common::Types::CapeArrayBoolean getState()=0;

            virtual void setState(const Common::Types::CapeArrayBoolean& state)=0;

            virtual Common::Types::CapeLong getForkIndex() = 0;

            virtual Common::Types::CapeDouble GetNextExplicitTime() const  = 0;

            virtual const CapeArrayDouble& GetStoredPhi() const = 0;

            virtual void SetStoredPhi(const CapeArrayDouble& phi) = 0;


        };

    class IDianaPetriPlace : public virtual Common::Parameter::ICapeParameter {
        public:
      virtual Common::Types::CapeBoolean GetMark() = 0;
      virtual void SetMark(Common::Types::CapeBoolean mark) 
          throw (ECapeUnknown, ECapeInvalidArgument) = 0;
        void SetValue(const Common::Types::CapeVariant& _value)
            throw (ECapeUnknown, ECapeInvalidArgument) = 0;

        };
        
        class IDianaPetriTransition :  public virtual Common::Parameter::ICapeParameter {
        public:
                virtual Common::Types::CapeDouble GetPhiValue() const throw (Common::Error::ECapeUnknown) = 0;
        };
}

#ifndef SWIG

    std::ostream& operator<<(std::ostream& out_file, const Diana::IDianaPetriPlace& place);
#endif

#endif //IDIANA_PETRINET_H