← Back to branch summary

~tapaal-ltl/verifypn/composed-heuristics

~tapaal-ltl/verifypn/composed-heuristics

Viewing all changes in revision 283.

Committer: Nikolaj Jensen Ulrik
Date: 2021-04-21 07:47:59 UTC
Revision ID: nikolaj@njulrik.dk-20210421074759-j2e5rvm581tyr1is

Piecewise zero/log fire count heuristic

files added:
include/LTL/SuccessorGeneration/LogFireCountHeuristic.h

files modified:
include/LTL/SuccessorGeneration/FireCountHeuristic.h

include/LTL/SuccessorGeneration/Heuristics.h

src/LTL/LTLMain.cpp

Show diffs side-by-side

added added

removed removed

include/LTL/SuccessorGeneration/FireCountHeuristic.h

include/LTL/SuccessorGeneration/Heuristics.h

include/LTL/SuccessorGeneration/LogFireCountHeuristic.h

src/LTL/LTLMain.cpp

Older »