← Back to branch summary

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

« back to all changes in this revision

Viewing changes to include/LTL/Algorithm/VisibleStubbornTarjanModelChecker.h

  • Committer: Nikolaj Jensen Ulrik
  • Date: 2021-03-19 12:45:08 UTC
  • Revision ID: nikolaj@njulrik.dk-20210319124508-xztoihw9nhyx7z0v
LTL engine now allows combination of stubborn sets and heuristics

Show diffs side-by-side

added added

removed removed

Lines of Context:
include/LTL/Algorithm/VisibleStubbornTarjanModelChecker.h
18
18
#ifndef VERIFYPN_VISIBLESTUBBORNTARJANMODELCHECKER_H
19
19
#define VERIFYPN_VISIBLESTUBBORNTARJANMODELCHECKER_H
20
20
 
21
 
#include "LTL/SuccessorGeneration/VisibleLTLStubbornSet.h"
 
21
#include "LTL/Stubborn/VisibleLTLStubbornSet.h"
22
22
#include "LTL/Algorithm/ModelChecker.h"
23
23
#include "PetriEngine/Structures/light_deque.h"
24
24
#include "LTL/Structures/BitProductStateSet.h"