← Back to branch summary

~verifypn-cpn/verifypn/TACPNParser

« back to all changes in this revision

Viewing changes to PetriEngine/Colored/TimeInterval.h

  • Committer: Niels Christensen
  • Date: 2019-04-03 10:38:53 UTC
  • Revision ID: nchri13@student.aau.dk-20190403103853-ose4bf27czf6bv6q
Fixed small bug

Show diffs side-by-side

added added

removed removed

Lines of Context:
PetriEngine/Colored/TimeInterval.h
70
70
                assert(!other.rightStrict || other.upperBound == std::numeric_limits<int>().max());
71
71
                if(other.lowerBound >= lowerBound &&
72
72
                   other.lowerBound <= upperBound) return true;
73
 
                if(lowerBound >= other.lowerBound &&
74
 
                   lowerBound <= other.upperBound) return true;
75
73
                return false;
76
74
            }
77
75