Inheritance diagram for IDianaPetriNet:

Public Member Functions
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

Detailed Description

Interface that represents Petri net in python

Member Function Documentation

virtual void afterFork	(	const Common::Types::CapeArrayLong &	phiIndices,
		Common::Types::CapeBoolean	isDaughter
	)		`[pure virtual]`

Method to perform specific calculations after forking the model isDaughter contains information, whether the ESO is the daughter-cell

Implemented in PetriNet.

virtual Common::Types::CapeLong getForkIndex ( ) [pure virtual]

Gets the handing phi index. If there's none returns -1;

Implemented in PetriNet.

virtual Common::Types::CapeDouble GetNextExplicitTime ( ) const [pure virtual]

Gets next time event

Implemented in PetriNet.

virtual Common::Collection::ICapeCollection* GetPlaces ( ) [pure virtual]

Returns collection of all places in Petri net

Implemented in PetriNet.

virtual Common::Types::CapeArrayBoolean getState ( ) [pure virtual]

Returns vector, that represents current state of the network

Implemented in PetriNet.

virtual const CapeArrayDouble& GetStoredPhi ( ) const [pure virtual]

Return the stored state of the phi_funktions before last step

Implemented in PetriNet.

virtual Common::Collection::ICapeCollection* GetTransitions ( ) [pure virtual]

Returns collection of all transitions in Petri net

Implemented in PetriNet.

virtual void setState ( const Common::Types::CapeArrayBoolean & state ) [pure virtual]

Sets the Network into specified state

Implemented in PetriNet.

virtual void SetStoredPhi ( const CapeArrayDouble & phi ) [pure virtual]

For the solver: Store the old value of the Phi-functions for further steps

Implemented in PetriNet.

virtual Common::Types::CapeBoolean shouldFork ( ) [pure virtual]

Returns true, if the PetriNet reached a place, which indicates, that the model should be forked. This state is cleared by the afterFork() method

Implemented in PetriNet.

virtual Common::Types::CapeBoolean Switch ( const Common::Types::CapeArrayLong & indices ) [pure virtual]

Performs switch of Petri net, for phi-functions listed by index inside indices

Returns:: true, if some switch has really occured (this depends on internal petrinet states too)

Implemented in PetriNet.

The documentation for this class was generated from the following file: