← Back to branch summary

~tapaal-dist/verifypn/LTSmin

« back to all changes in this revision

Viewing changes to PetriEngine/Reachability/HeuristicDFS.cpp

  • Committer: Jiri Srba
  • Date: 2014-03-18 06:46:59 UTC
  • mfrom: (44.1.3 placeBoundStatistics)
  • Revision ID: srba@cs.aau.dk-20140318064659-3klhn3ajw18vhsad
merged in branch adding place-bound statistics

Show diffs side-by-side

added added

removed removed

Lines of Context:
PetriEngine/Reachability/HeuristicDFS.cpp
89
89
                                        if(query->evaluate(*ns, &net))
90
90
                                                return ReachabilityResult(ReachabilityResult::Satisfied,
91
91
                                                                                                "A state satisfying the query was found", expandedStates, exploredStates,
92
 
                                                                                                states.discovered(), enabledTransitionsCount, states.maxTokens(), ns->pathLength(), ns->trace());
 
92
                                                                                                states.discovered(), enabledTransitionsCount, states.maxTokens(), states.maxPlaceBound(), ns->pathLength(), ns->trace());
93
93
                                        PQL::DistanceContext context(net,
94
94
                                                                                                 _distanceStrategy,
95
95
                                                                                                 ns->marking(),
122
122
        }
123
123
 
124
124
        return ReachabilityResult(ReachabilityResult::NotSatisfied,
125
 
                                                "No state satisfying the query exists.", expandedStates, exploredStates, states.discovered(), enabledTransitionsCount, states.maxTokens());
 
125
                                                "No state satisfying the query exists.", expandedStates, exploredStates, states.discovered(), enabledTransitionsCount, states.maxTokens(), states.maxPlaceBound());
126
126
}
127
127
 
128
128
} // Reachability