~verifydtapn-contributers/verifydtapn/trunk

« back to all changes in this revision

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

  • Committer: Jiri Srba
  • Date: 2017-09-18 13:43:37 UTC
  • mfrom: (334.1.8 verifydtapn)
  • Revision ID: srba.jiri@gmail.com-20170918134337-fi97wtwg1i1689kt
merged in branch lp:~verifydtapn-contributers/verifydtapn/win-compile 
allowing to cross compile to windows (min mac version is 10.9)

Show diffs side-by-side

added added

removed removed

Lines of Context:
88
88
                Util::interval arcGuard((*arc)->getInterval().getLowerBound(), (*arc)->getInterval().getUpperBound());
89
89
                Util::interval invGuard(0, (*arc)->getDestination().getInvariant().getBound());
90
90
 
91
 
                Util::interval arcInterval = boost::numeric::intersect(arcGuard, invGuard);
 
91
                Util::interval arcInterval = Util::intersect(arcGuard, invGuard);
92
92
                vector<Util::interval > intervals;
93
93
                int range;
94
94
                if (arcInterval.upper() == INT_MAX) {