Commit 7268ef9e authored by Etienne Renault's avatar Etienne Renault

mc: please include.test

* spot/mc/bloemen.hh,
spot/mc/bloemen_ec.hh,
spot/mc/deadlock.hh,
spot/mc/lpar13.hh,
spot/mc/mc.hh: Here.
parent 4bc35906
......@@ -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
......
......@@ -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
{
......
......@@ -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
{
......
......@@ -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
{
......
......@@ -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
......
Markdown is supported
0% or
You are about to add 0 people to the discussion. Proceed with caution.
Finish editing this message first!
Please register or to comment