← Back to branch summary

~tapaal-ltl/verifypn/fire-count-heuristic

« back to all changes in this revision

Viewing changes to src/LTL/LTLMain.cpp

  • Committer: Simon Virenfeldt
  • Date: 2021-03-31 11:59:09 UTC
  • Revision ID: simwir1@gmail.com-20210331115909-ximwsu014s9tyznj
Implemented fire count heuristic

Show diffs side-by-side

added added

removed removed

Lines of Context:
src/LTL/LTLMain.cpp
154
154
                    if (options.strategy == PetriEngine::Reachability::RDFS) {
155
155
                        gen.setHeuristic(std::make_unique<RandomHeuristic>());
156
156
                    } else if (options.strategy == PetriEngine::Reachability::HEUR) {
157
 
                        gen.setHeuristic(std::make_unique<AutomatonHeuristic>(net, automaton));
 
157
                        //gen.setHeuristic(std::make_unique<AutomatonHeuristic>(net, automaton));
 
158
                        gen.setHeuristic(std::make_unique<FireCountHeuristic>(net));
158
159
                    }
159
160
 
160
161
                    if (options.trace != TraceLevel::None) {