← Back to branch summary

~peter-gjoel/verifydtapn/PTrieWorkflow

« back to all changes in this revision

Viewing changes to src/DiscreteVerification/DataStructures/WaitingList.cpp

  • Committer: Peter Gjøl Jensen
  • Date: 2015-06-22 22:14:57 UTC
  • Revision ID: peter.gjoel@gmail.com-20150622221457-ihkp7ph43etwgceq
conforms to previous branch

Show diffs side-by-side

added added

removed removed

Lines of Context:
src/DiscreteVerification/DataStructures/WaitingList.cpp
11
11
    template <>
12
12
    int MinFirstWaitingList<NonStrictMarking*>::calculateWeight(NonStrictMarking* marking)
13
13
    {
14
 
            return marking->meta->totalDelay;
 
14
        return marking->meta->totalDelay;
15
15
    }
16
16
 
17
17
    template <>