← Back to branch summary

~verifytapn/verifytapn/1.0

« back to all changes in this revision

Viewing changes to src/Verification/SearchStrategy.cpp

  • Committer: Lasse Jacobsen
  • Date: 2010-11-25 13:44:42 UTC
  • Revision ID: lassejac@lassejac-laptop-20101125134442-65r093ij17ylh410
- added experimental feature for using either global of local max constants
  for extrapolation

Show diffs side-by-side

added added

removed removed

Lines of Context:
src/Verification/SearchStrategy.cpp
80
80
 
81
81
                        if(options.GetInfinityPlacesEnabled() && tapn.IsPlaceInfinityPlace(placeIndex))
82
82
                                maxConstantsArray[marking.GetDBMIndex(tokenIndex)] = -dbm_INFINITY;
83
 
                        else
 
83
                        else if(!options.GetGlobalMaxConstantsEnabled())
84
84
                        {
85
85
                                const TAPN::TimedPlace& p = tapn.GetPlace(placeIndex);
86
86
                                maxConstantsArray[marking.GetDBMIndex(tokenIndex)] = p.GetMaxConstant();