Ejemplos de Transition::crossTransition en C++ (Cpp)

Ejemplo n.º 1

Archivo: PetriNet.cpp Proyecto: raphaelmarczak/libIscore

void PetriNet::makeOneStep()
{
	bool stop = false;

	while (!stop) {
		if (m_priorityTransitionsActionQueue.size() == 0) {
			stop = true;
		} else {
			PriorityTransitionAction* topAction = getTopActionOnPriorityQueue();

			if (!topAction->isEnable()) {
				removeTopActionOnPriorityQueue();
			} else if ((unsigned int) topAction->getDate().getValue() > getCurrentTimeInMs()) {
				stop = true;
			} else {
				Transition* topTransition = topAction->getTransition();

				if (topAction->getType() == START) {
					if (topTransition->couldBeSensitize()) {
						turnIntoSensitized(topTransition);

						if (m_waitedTriggerPointMessageAction != NULL) {
							m_waitedTriggerPointMessageAction(m_waitedTriggerPointMessageArgument, true, topTransition);
						}

						removeTopActionOnPriorityQueue();
					} else {
						topAction->setDate(getCurrentTimeInMs() + 1);
						removeTopActionOnPriorityQueue();
						m_priorityTransitionsActionQueue.push(topAction);
					}

					//stop = true;
				} else {
					if (topTransition->areAllInGoingArcsActive()) {
						topTransition->crossTransition(true, getCurrentTimeInMs() - topAction->getDate().getValue());
						removeTopActionOnPriorityQueue();
					} else {
						removeTopActionOnPriorityQueue();
						throw IncoherentStateException();
					}
				}
			}
		}
	}

	for (unsigned int i = 0 ; i < m_sensitizedTransitions.size() ; ++i) {
		Transition* sensitizedTransitionToTestTheEvent;
		sensitizedTransitionToTestTheEvent = m_sensitizedTransitions[i];

		if (!sensitizedTransitionToTestTheEvent->areAllInGoingArcsActive()) {

			m_sensitizedTransitions.erase(m_sensitizedTransitions.begin() + i);
			--i;

			if (m_waitedTriggerPointMessageAction != NULL) {
				m_waitedTriggerPointMessageAction(m_waitedTriggerPointMessageArgument, false, sensitizedTransitionToTestTheEvent);
			}

		} else if (isAnEvent(sensitizedTransitionToTestTheEvent->getEvent()) || m_mustCrossAllTransitionWithoutWaitingEvent){

			if (sensitizedTransitionToTestTheEvent->isStatic()) {
				sensitizedTransitionToTestTheEvent->crossTransition(true, getCurrentTimeInMs() - sensitizedTransitionToTestTheEvent->getStartDate().getValue());
			} else {
				sensitizedTransitionToTestTheEvent->crossTransition(true,0);
			}

			m_sensitizedTransitions.erase(m_sensitizedTransitions.begin() + i);
			--i;

			if (m_waitedTriggerPointMessageAction != NULL) {
				m_waitedTriggerPointMessageAction(m_waitedTriggerPointMessageArgument, false, sensitizedTransitionToTestTheEvent);
			}
		}
	}

	resetEvents();

	while(!m_transitionsToCrossWhenAcceleration.empty()) {
		Transition* currentTransition = m_transitionsToCrossWhenAcceleration.back();

		if (currentTransition->areAllInGoingArcsActive()) {
			currentTransition->crossTransition(false, 0);
		} else {
			throw IncoherentStateException();
		}

		m_transitionsToCrossWhenAcceleration.pop_back();
	}

	m_transitionsToCrossWhenAcceleration.clear();
}