← Back to branch summary

~verifydtapn-contributers/verifydtapn/d2.1

« back to all changes in this revision

Viewing changes to src/DiscreteVerification/VerificationTypes/TimeDartVerification.hpp

  • Committer: Jiri Srba
  • Date: 2013-08-12 13:34:15 UTC
  • mfrom: (269.10.12 urgentTransitions)
  • Revision ID: srba@cs.aau.dk-20130812133415-fikx634djlsrhgxx
merged in the branch adding urgency to transitions

Show diffs side-by-side

added added

removed removed

Lines of Context:
src/DiscreteVerification/VerificationTypes/TimeDartVerification.hpp
28
28
                    if ((*iter)->getPreset().size() + (*iter)->getTransportArcs().size() == 0) {
29
29
                        allwaysEnabled.push_back(iter->get());
30
30
                    }
 
31
                    if((*iter)->isUrgent()){    // no implementation for urgency in timedart engine yet
 
32
                        cout << "The TimeDart engine cannot handle urgent transitions" << endl;
 
33
                        exit(1);
 
34
                    }
31
35
                }
32
36
            }
33
37