alarsyo/spot
1
0
Fork 0
Code Issues Pull requests Projects Releases Wiki Activity

mc: please include.test

Browse source 
* spot/mc/bloemen.hh,
spot/mc/bloemen_ec.hh,
spot/mc/deadlock.hh,
spot/mc/lpar13.hh,
spot/mc/mc.hh: Here.
This commit is contained in:
Etienne Renault 2020-05-14 14:00:34 +02:00
parent 17579ad9ad
commit a3df930a60
5 changed files with 14 additions and 0 deletions
Download patch file Download diff file Expand all files Collapse all files

2
spot/mc/bloemen.hh
View file

@ -30,6 +30,8 @@
#include <spot/misc/common.hh>
#include <spot/misc/fixpool.hh>
#include <spot/misc/timer.hh>
#include <spot/twacube/twacube.hh>
#include <spot/twacube/fwd.hh>
#include <spot/mc/mc.hh>
namespace spot

2
spot/mc/bloemen_ec.hh
View file

@ -31,7 +31,9 @@
#include <spot/misc/fixpool.hh>
#include <spot/misc/timer.hh>
#include <spot/twacube/twacube.hh>
#include <spot/twacube/fwd.hh>
#include <spot/mc/intersect.hh>
#include <spot/mc/mc.hh>
namespace spot
{

3
spot/mc/deadlock.hh
View file

@ -29,6 +29,9 @@
#include <spot/kripke/kripke.hh>
#include <spot/misc/fixpool.hh>
#include <spot/misc/timer.hh>
#include <spot/twacube/twacube.hh>
#include <spot/twacube/fwd.hh>
#include <spot/mc/mc.hh>
namespace spot
{

3
spot/mc/lpar13.hh
View file

@ -23,6 +23,9 @@
#include <spot/mc/unionfind.hh>
#include <spot/mc/intersect.hh>
#include <spot/mc/mc.hh>
#include <spot/misc/timer.hh>
#include <spot/twacube/twacube.hh>
#include <spot/twacube/fwd.hh>
namespace spot
{

4
spot/mc/mc.hh
View file

@ -19,10 +19,14 @@
#pragma once
#include <iostream>
#include <stdexcept>
#include <string>
#include <vector>
#include <utility>
#include <spot/misc/common.hh>
namespace spot
{
/// \brief The list of parallel model-checking algorithms available