本文整理汇总了C++中Transition::couldBeSensitize方法的典型用法代码示例。如果您正苦于以下问题：C++ Transition::couldBeSensitize方法的具体用法？C++ Transition::couldBeSensitize怎么用？C++ Transition::couldBeSensitize使用的例子？那么, 这里精选的方法代码示例或许可以为您提供帮助。您也可以进一步了解该方法所在类Transition的用法示例。
在下文中一共展示了Transition::couldBeSensitize方法的1个代码示例，这些例子默认根据受欢迎程度排序。您可以为喜欢或者感觉有用的代码点赞，您的评价将有助于系统推荐出更棒的C++代码示例。
示例1: makeOneStep
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();
}