← Back to branch summary

~tapaal-ltl/verifypn/reach-aut-stub

« back to all changes in this revision

Viewing changes to include/LTL/SuccessorGeneration/Heuristics.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/SuccessorGeneration/Heuristics.h
 
1
/* Copyright (C) 2021  Nikolaj J. Ulrik <nikolaj@njulrik.dk>,
 
2
 *                     Simon M. Virenfeldt <simon@simwir.dk>
 
3
 * 
 
4
 * This program is free software: you can redistribute it and/or modify
 
5
 * it under the terms of the GNU General Public License as published by
 
6
 * the Free Software Foundation, either version 3 of the License, or
 
7
 * (at your option) any later version.
 
8
 * 
 
9
 * This program is distributed in the hope that it will be useful,
 
10
 * but WITHOUT ANY WARRANTY; without even the implied warranty of
 
11
 * MERCHANTABILITY or FITNESS FOR A PARTICULAR PURPOSE.  See the
 
12
 * GNU General Public License for more details.
 
13
 * 
 
14
 * You should have received a copy of the GNU General Public License
 
15
 * along with this program.  If not, see <http://www.gnu.org/licenses/>.
 
16
 */
 
17
 
 
18
#ifndef VERIFYPN_HEURISTICS_H
 
19
#define VERIFYPN_HEURISTICS_H
 
20
 
 
21
#include "DistanceHeuristic.h"
 
22
#include "RandomHeuristic.h"
 
23
 
 
24
#endif //VERIFYPN_HEURISTICS_H