← Back to branch summary

~tapaal-ltl/verifypn/kbound-fix-ltl

« back to all changes in this revision

Viewing changes to include/LTL/SuccessorGeneration/DistanceHeuristic.h

  • Committer: Jiri Srba
  • Date: 2021-08-05 19:57:19 UTC
  • mfrom: (234.1.39 ltl-spring-2021)
  • Revision ID: srba@cs.aau.dk-20210805195719-tyf98wgglgn8xd0d
merged in lp:~tapaal-ltl/verifypn/ltl-spring-2021 adding many additions to LTL model checker (automata based methods for partial order and heuristic) and trace generation

Show diffs side-by-side

added added

removed removed

Lines of Context:
include/LTL/SuccessorGeneration/DistanceHeuristic.h
34
34
            return _cond->distance(context);
35
35
        }
36
36
 
 
37
        std::ostream &output(std::ostream &os) {
 
38
            return os << "DIST_HEUR";
 
39
        }
37
40
    private:
38
41
        const PetriEngine::PetriNet *_net;
39
42
        const PetriEngine::PQL::Condition_ptr _cond;