Commit d80e7eb0 authored by Florent Jaillet's avatar Florent Jaillet

Updating GitLab project URL and copyright information

parent 30416d1a
Pipeline #85 failed with stage
in 57 seconds
# Author: Florent JAILLET
# Date: 2016-2017
# Copyright: LIF - UMR 7279 - Aix Marseille Univ. / CNRS
# Université d'Aix Marseille (AMU) -
# Centre National de la Recherche Scientifique (CNRS) -
# Université de Toulon (UT).
# Copyright © 2016-2018 AMU, CNRS, UT
#
# This file is part of MinCoverpetri.
# This file is part of MinCoverPetri.
#
# MinCoverpetri is free software: you can redistribute it and/or modify
# MinCoverPetri is free software: you can redistribute it and/or modify
# it under the terms of the GNU General Public License as published by
# the Free Software Foundation, either version 3 of the License, or
# (at your option) any later version.
#
# MinCoverpetri is distributed in the hope that it will be useful,
#
# MinCoverPetri is distributed in the hope that it will be useful,
# but WITHOUT ANY WARRANTY; without even the implied warranty of
# MERCHANTABILITY or FITNESS FOR A PARTICULAR PURPOSE. See the
# GNU General Public License for more details.
#
# You should have received a copy of the GNU General Public License
# along with MinCoverpetri. If not, see <http://www.gnu.org/licenses/>.
# along with MinCoverPetri. If not, see <http://www.gnu.org/licenses/>.
#
# Author: Florent JAILLET - Laboratoire d'Informatique et Systèmes - UMR 7020
cmake_minimum_required(VERSION 3.5)
......
# Author: Florent JAILLET
# Date: 2016-2017
# Copyright: LIF - UMR 7279 - Aix Marseille Univ. / CNRS
# Université d'Aix Marseille (AMU) -
# Centre National de la Recherche Scientifique (CNRS) -
# Université de Toulon (UT).
# Copyright © 2016-2018 AMU, CNRS, UT
#
# This file is part of MinCoverpetri.
# This file is part of MinCoverPetri.
#
# MinCoverpetri is free software: you can redistribute it and/or modify
# MinCoverPetri is free software: you can redistribute it and/or modify
# it under the terms of the GNU General Public License as published by
# the Free Software Foundation, either version 3 of the License, or
# (at your option) any later version.
#
# MinCoverpetri is distributed in the hope that it will be useful,
#
# MinCoverPetri is distributed in the hope that it will be useful,
# but WITHOUT ANY WARRANTY; without even the implied warranty of
# MERCHANTABILITY or FITNESS FOR A PARTICULAR PURPOSE. See the
# GNU General Public License for more details.
#
# You should have received a copy of the GNU General Public License
# along with MinCoverpetri. If not, see <http://www.gnu.org/licenses/>.
# along with MinCoverPetri. If not, see <http://www.gnu.org/licenses/>.
#
# Author: Florent JAILLET - Laboratoire d'Informatique et Systèmes - UMR 7020
# This Dockerfile is used to generate the Docker image for continuous
......@@ -23,19 +26,19 @@
#
# To use the Docker registry associated with the MinCoverPetri GitLab project,
# login with the command:
# docker login registry.gitlab.lif.univ-mrs.fr:5005
# docker login registry.gitlab.lis-lab.fr:5005
#
# To generate the image, make the directory containing this file your current
# directory and run:
# docker build -t registry.gitlab.lif.univ-mrs.fr:5005/dev/mincoverpetri/mincoverpetri .
# docker build -t registry.gitlab.lis-lab.fr:5005/dev/mincoverpetri/mincoverpetri .
#
# To upload the image to the registry, run:
# docker push registry.gitlab.lif.univ-mrs.fr:5005/dev/mincoverpetri/mincoverpetri
# docker push registry.gitlab.lis-lab.fr:5005/dev/mincoverpetri/mincoverpetri
#
# If needed, you can use the image localy as an environment to build and test
# the application and generate the documentation. For example, to run the image
# in an interactive session, run:
# docker run -it registry.gitlab.lif.univ-mrs.fr:5005/dev/mincoverpetri/mincoverpetri
# docker run -it registry.gitlab.lis-lab.fr:5005/dev/mincoverpetri/mincoverpetri
FROM ubuntu:latest
......
<!--
Author: Florent JAILLET
Date: 2016-2017
Copyright: LIF - UMR 7279 - Aix Marseille Univ. / CNRS
Université d'Aix Marseille (AMU) -
Centre National de la Recherche Scientifique (CNRS) -
Université de Toulon (UT).
Copyright © 2016-2018 AMU, CNRS, UT
This file is part of MinCoverpetri.
This file is part of MinCoverPetri.
MinCoverpetri is free software: you can redistribute it and/or modify
MinCoverPetri is free software: you can redistribute it and/or modify
it under the terms of the GNU General Public License as published by
the Free Software Foundation, either version 3 of the License, or
(at your option) any later version.
MinCoverpetri is distributed in the hope that it will be useful,
MinCoverPetri is distributed in the hope that it will be useful,
but WITHOUT ANY WARRANTY; without even the implied warranty of
MERCHANTABILITY or FITNESS FOR A PARTICULAR PURPOSE. See the
GNU General Public License for more details.
You should have received a copy of the GNU General Public License
along with MinCoverpetri. If not, see <http://www.gnu.org/licenses/>.
along with MinCoverPetri. If not, see <http://www.gnu.org/licenses/>.
Author: Florent JAILLET - Laboratoire d'Informatique et Systèmes - UMR 7020
-->
MinCoverPetri
====
[MinCoverPetri](http://dev.pages.lif.univ-mrs.fr/mincoverpetri) is a
[MinCoverPetri](http://dev.pages.lis-lab.fr/mincoverpetri) is a
command-line application for the fast computation of the minimal coverability
set of place/transition (P/T) Petri nets.
......@@ -41,7 +44,7 @@ See [pnml.org](http://www.pnml.org) for details about this format.
MinCoverPetri is developed in C++ by the
[development team](http://developpement.lif.univ-mrs.fr) of the
[LIF](http://www.lif.univ-mrs.fr/).
[LIS](http://www.lis-lab.fr/).
License
----
......@@ -54,14 +57,14 @@ Download
----
**Precompiled executables** for GNU/Linux and Windows can be downloaded from
the [MinCoverPetri website](http://dev.pages.lif.univ-mrs.fr/mincoverpetri).
the [MinCoverPetri website](http://dev.pages.lis-lab.fr/mincoverpetri).
The **source code** can be downloaded from the associated
[GitLab project](https://gitlab.lif.univ-mrs.fr/dev/mincoverpetri).
[GitLab project](https://gitlab.lis-lab.fr/dev/mincoverpetri).
The build instructions are given in the
[developer
documentation](http://dev.pages.lif.univ-mrs.fr/mincoverpetri/doc/src/html)
documentation](http://dev.pages.lis-lab.fr/mincoverpetri/doc/src/html)
and in the file
[src/developer_documentation.dox](src/developer_documentation.dox).
......@@ -76,12 +79,12 @@ option, simply run:
mincoverpetri -h
This help is also replicated on the
[MinCoverPetri website](http://dev.pages.lif.univ-mrs.fr/mincoverpetri).
[MinCoverPetri website](http://dev.pages.lis-lab.fr/mincoverpetri).
### Developer documentation
The [developer
documentation](http://dev.pages.lif.univ-mrs.fr/mincoverpetri/doc/src/html)
documentation](http://dev.pages.lis-lab.fr/mincoverpetri/doc/src/html)
is available online.
It can also be automatically generated from the source code using
......@@ -105,6 +108,6 @@ Contact
----
Issues can be reported in the
[GitLab project](https://gitlab.lif.univ-mrs.fr/dev/mincoverpetri) or by email
[GitLab project](https://gitlab.lis-lab.fr/dev/mincoverpetri) or by email
to `contact.dev`@`lif.univ-mrs.fr`.
/* Author: Florent JAILLET
* Date: 2016-2017
* Copyright: LIF - UMR 7279 - Aix Marseille Univ. / CNRS.
*
* This file is part of MinCoverpetri.
*
* MinCoverpetri is free software: you can redistribute it and/or modify
/* Université d'Aix Marseille (AMU) -
* Centre National de la Recherche Scientifique (CNRS) -
* Université de Toulon (UT).
* Copyright © 2016-2018 AMU, CNRS, UT
*
* This file is part of MinCoverPetri.
*
* MinCoverPetri is free software: you can redistribute it and/or modify
* it under the terms of the GNU General Public License as published by
* the Free Software Foundation, either version 3 of the License, or
* (at your option) any later version.
*
* MinCoverpetri is distributed in the hope that it will be useful,
*
* MinCoverPetri is distributed in the hope that it will be useful,
* but WITHOUT ANY WARRANTY; without even the implied warranty of
* MERCHANTABILITY or FITNESS FOR A PARTICULAR PURPOSE. See the
* GNU General Public License for more details.
*
*
* You should have received a copy of the GNU General Public License
* along with MinCoverpetri. If not, see <http://www.gnu.org/licenses/>.
* along with MinCoverPetri. If not, see <http://www.gnu.org/licenses/>.
*
* Author: Florent JAILLET - Laboratoire d'Informatique et Systèmes - UMR 7020
*/
/**
......@@ -26,7 +29,7 @@
* \section introduction Introduction
*
* Welcome to the developer documentation of
* [**MinCoverPetri**](http://dev.pages.lif.univ-mrs.fr/mincoverpetri),
* [**MinCoverPetri**](http://dev.pages.lis-lab.fr/mincoverpetri),
* a command-line application for the fast computation of the minimal
* coverability set of place/transition Petri nets.
*
......@@ -47,7 +50,7 @@
* \section development Development
*
* The development of MinCoverPetri is done in its
* [GitLab project](https://gitlab.lif.univ-mrs.fr/dev/mincoverpetri),
* [GitLab project](https://gitlab.lis-lab.fr/dev/mincoverpetri),
* which provides the Git repository managing the source code and where issues
* can be reported.
*
......@@ -110,10 +113,10 @@
* To get the source code of MinCoverPetri, clone the Git repository of the
* project:
*
* git clone https://gitlab.lif.univ-mrs.fr/dev/mincoverpetri.git
* git clone https://gitlab.lis-lab.fr/dev/mincoverpetri.git
*
* Alternatively, a compressed archive of the latest version of the code can
* be directly downloaded using this [link](https://gitlab.lif.univ-mrs.fr/
* be directly downloaded using this [link](https://gitlab.lis-lab.fr/
* dev/mincoverpetri/repository/archive.zip?ref=master).
*
* \section build Build the application and its tests
......@@ -278,7 +281,7 @@
*
* The test coverage report for the current version of MinCoverPetri is
* available [here]
* (http://dev.pages.lif.univ-mrs.fr/mincoverpetri/coverage/coverage.html).
* (http://dev.pages.lis-lab.fr/mincoverpetri/coverage/coverage.html).
*
* If you have installed [Valgrind](http://valgrind.org) (package **valgrind**
* in Debian and its derivatives), you can check that no memory leak is
......@@ -320,11 +323,11 @@
* application,
* - run the tests and generate a
* [code coverage report]
* (http://dev.pages.lif.univ-mrs.fr/mincoverpetri/coverage/coverage.html),
* (http://dev.pages.lis-lab.fr/mincoverpetri/coverage/coverage.html),
* - generate the [developer documentation]
* (http://dev.pages.lif.univ-mrs.fr/mincoverpetri/doc/src/html),
* (http://dev.pages.lis-lab.fr/mincoverpetri/doc/src/html),
* - generate the main
* [webpage](http://dev.pages.lif.univ-mrs.fr/mincoverpetri) of the project.
* [webpage](http://dev.pages.lis-lab.fr/mincoverpetri) of the project.
*
* The continuous integration tasks are configured in the file
* `.gitlab-ci.yml`.
......@@ -335,10 +338,10 @@
* development environment if wanted. For example, to run the image
* in an interactive session, run:
*
* docker run -it registry.gitlab.lif.univ-mrs.fr:5005/dev/mincoverpetri/mincoverpetri
* docker run -it registry.gitlab.lis-lab.fr:5005/dev/mincoverpetri/mincoverpetri
*
* Some instructions about this Docker image are available in this
* [page](https://gitlab.lif.univ-mrs.fr/dev/mincoverpetri/container_registry).
* [page](https://gitlab.lis-lab.fr/dev/mincoverpetri/container_registry).
*
* The Dockerfile used to generate the Docker image is available in the
* directory `docker`.
......@@ -357,5 +360,5 @@
* > DOI: [10.3233/FI-2013-781](https://doi.org/10.3233/FI-2013-781)
*
* A preprint of this article is available [here]
* (http://pageperso.lif.univ-mrs.fr/~pierre-alain.reynier/publis/fi13.pdf).
* (http://pageperso.lis-lab.fr/~pierre-alain.reynier/publis/fi13.pdf).
*/
......@@ -2,8 +2,11 @@
* \file
* \brief Main functions of the command line application
* \author Florent JAILLET
* \date 2016-2017
* \copyright LIF - UMR 7279 - Aix Marseille Univ. / CNRS.
* \date 2016-2018
* \copyright Université d'Aix Marseille (AMU) -
* Centre National de la Recherche Scientifique (CNRS) -
* Université de Toulon (UT).
* Laboratoire d'Informatique et Systèmes - UMR 7020
* This file is released under the GPLv3+.
*
* This file defines the main functions of the command line application
......@@ -11,20 +14,20 @@
* data.
*/
/* This file is part of MinCoverpetri.
/* This file is part of MinCoverPetri.
*
* MinCoverpetri is free software: you can redistribute it and/or modify
* MinCoverPetri is free software: you can redistribute it and/or modify
* it under the terms of the GNU General Public License as published by
* the Free Software Foundation, either version 3 of the License, or
* (at your option) any later version.
*
* MinCoverpetri is distributed in the hope that it will be useful,
* MinCoverPetri is distributed in the hope that it will be useful,
* but WITHOUT ANY WARRANTY; without even the implied warranty of
* MERCHANTABILITY or FITNESS FOR A PARTICULAR PURPOSE. See the
* GNU General Public License for more details.
*
* You should have received a copy of the GNU General Public License
* along with MinCoverpetri. If not, see <http://www.gnu.org/licenses/>.
* along with MinCoverPetri. If not, see <http://www.gnu.org/licenses/>.
*/
#include "main.hpp"
......
......@@ -2,8 +2,11 @@
* \file
* \brief Header for main functions of the command line application
* \author Florent JAILLET
* \date 2016-2017
* \copyright LIF - UMR 7279 - Aix Marseille Univ. / CNRS.
* \date 2016-2018
* \copyright Université d'Aix Marseille (AMU) -
* Centre National de la Recherche Scientifique (CNRS) -
* Université de Toulon (UT).
* Laboratoire d'Informatique et Systèmes - UMR 7020
* This file is released under the GPLv3+.
*
* This file declares the main functions of the command line application
......@@ -11,20 +14,20 @@
* data.
*/
/* This file is part of MinCoverpetri.
/* This file is part of MinCoverPetri.
*
* MinCoverpetri is free software: you can redistribute it and/or modify
* MinCoverPetri is free software: you can redistribute it and/or modify
* it under the terms of the GNU General Public License as published by
* the Free Software Foundation, either version 3 of the License, or
* (at your option) any later version.
*
* MinCoverpetri is distributed in the hope that it will be useful,
* MinCoverPetri is distributed in the hope that it will be useful,
* but WITHOUT ANY WARRANTY; without even the implied warranty of
* MERCHANTABILITY or FITNESS FOR A PARTICULAR PURPOSE. See the
* GNU General Public License for more details.
*
* You should have received a copy of the GNU General Public License
* along with MinCoverpetri. If not, see <http://www.gnu.org/licenses/>.
* along with MinCoverPetri. If not, see <http://www.gnu.org/licenses/>.
*/
#ifndef MAIN_HPP_
......
......@@ -2,28 +2,31 @@
* \file
* \brief Tools to represent and manipulate omega-markings
* \author Florent JAILLET
* \date 2016-2017
* \copyright LIF - UMR 7279 - Aix Marseille Univ. / CNRS.
* \date 2016-2018
* \copyright Université d'Aix Marseille (AMU) -
* Centre National de la Recherche Scientifique (CNRS) -
* Université de Toulon (UT).
* Laboratoire d'Informatique et Systèmes - UMR 7020
* This file is released under the GPLv3+.
*
* This file defines the elements used to represent and manipulate
* omega-markings of Petri nets.
*/
/* This file is part of MinCoverpetri.
/* This file is part of MinCoverPetri.
*
* MinCoverpetri is free software: you can redistribute it and/or modify
* MinCoverPetri is free software: you can redistribute it and/or modify
* it under the terms of the GNU General Public License as published by
* the Free Software Foundation, either version 3 of the License, or
* (at your option) any later version.
*
* MinCoverpetri is distributed in the hope that it will be useful,
* MinCoverPetri is distributed in the hope that it will be useful,
* but WITHOUT ANY WARRANTY; without even the implied warranty of
* MERCHANTABILITY or FITNESS FOR A PARTICULAR PURPOSE. See the
* GNU General Public License for more details.
*
* You should have received a copy of the GNU General Public License
* along with MinCoverpetri. If not, see <http://www.gnu.org/licenses/>.
* along with MinCoverPetri. If not, see <http://www.gnu.org/licenses/>.
*/
#include "marking.hpp"
......
......@@ -2,28 +2,31 @@
* \file
* \brief Header for tools to represent and manipulate omega-markings
* \author Florent JAILLET
* \date 2016-2017
* \copyright LIF - UMR 7279 - Aix Marseille Univ. / CNRS.
* \date 2016-2018
* \copyright Université d'Aix Marseille (AMU) -
* Centre National de la Recherche Scientifique (CNRS) -
* Université de Toulon (UT).
* Laboratoire d'Informatique et Systèmes - UMR 7020
* This file is released under the GPLv3+.
*
* This file declares the elements used to represent and manipulate
* omega-markings of Petri nets.
*/
/* This file is part of MinCoverpetri.
/* This file is part of MinCoverPetri.
*
* MinCoverpetri is free software: you can redistribute it and/or modify
* MinCoverPetri is free software: you can redistribute it and/or modify
* it under the terms of the GNU General Public License as published by
* the Free Software Foundation, either version 3 of the License, or
* (at your option) any later version.
*
* MinCoverpetri is distributed in the hope that it will be useful,
* MinCoverPetri is distributed in the hope that it will be useful,
* but WITHOUT ANY WARRANTY; without even the implied warranty of
* MERCHANTABILITY or FITNESS FOR A PARTICULAR PURPOSE. See the
* GNU General Public License for more details.
*
* You should have received a copy of the GNU General Public License
* along with MinCoverpetri. If not, see <http://www.gnu.org/licenses/>.
* along with MinCoverPetri. If not, see <http://www.gnu.org/licenses/>.
*/
#ifndef MARKING_HPP_
......
......@@ -3,8 +3,11 @@
* \brief Tools to represent and manipulate unordered collections of
* omega-markings
* \author Florent JAILLET
* \date 2016-2017
* \copyright LIF - UMR 7279 - Aix Marseille Univ. / CNRS.
* \date 2016-2018
* \copyright Université d'Aix Marseille (AMU) -
* Centre National de la Recherche Scientifique (CNRS) -
* Université de Toulon (UT).
* Laboratoire d'Informatique et Systèmes - UMR 7020
* This file is released under the GPLv3+.
*
* This file defines the elements used to represent and manipulate an unoredered
......@@ -12,20 +15,20 @@
* particular be used to represent the minimal coverability set of a Petri net.
*/
/* This file is part of MinCoverpetri.
/* This file is part of MinCoverPetri.
*
* MinCoverpetri is free software: you can redistribute it and/or modify
* MinCoverPetri is free software: you can redistribute it and/or modify
* it under the terms of the GNU General Public License as published by
* the Free Software Foundation, either version 3 of the License, or
* (at your option) any later version.
*
* MinCoverpetri is distributed in the hope that it will be useful,
* MinCoverPetri is distributed in the hope that it will be useful,
* but WITHOUT ANY WARRANTY; without even the implied warranty of
* MERCHANTABILITY or FITNESS FOR A PARTICULAR PURPOSE. See the
* GNU General Public License for more details.
*
* You should have received a copy of the GNU General Public License
* along with MinCoverpetri. If not, see <http://www.gnu.org/licenses/>.
* along with MinCoverPetri. If not, see <http://www.gnu.org/licenses/>.
*/
#include "markingscollection.hpp"
......
......@@ -3,8 +3,11 @@
* \brief Header for tools to represent and manipulate unordered collections of
* omega-markings
* \author Florent JAILLET
* \date 2016-2017
* \copyright LIF - UMR 7279 - Aix Marseille Univ. / CNRS.
* \date 2016-2018
* \copyright Université d'Aix Marseille (AMU) -
* Centre National de la Recherche Scientifique (CNRS) -
* Université de Toulon (UT).
* Laboratoire d'Informatique et Systèmes - UMR 7020
* This file is released under the GPLv3+.
*
* This file declares the elements used to represent and manipulate an unordered
......@@ -12,20 +15,20 @@
* particular be used to represent the minimal coverability set of a Petri net.
*/
/* This file is part of MinCoverpetri.
/* This file is part of MinCoverPetri.
*
* MinCoverpetri is free software: you can redistribute it and/or modify
* MinCoverPetri is free software: you can redistribute it and/or modify
* it under the terms of the GNU General Public License as published by
* the Free Software Foundation, either version 3 of the License, or
* (at your option) any later version.
*
* MinCoverpetri is distributed in the hope that it will be useful,
* MinCoverPetri is distributed in the hope that it will be useful,
* but WITHOUT ANY WARRANTY; without even the implied warranty of
* MERCHANTABILITY or FITNESS FOR A PARTICULAR PURPOSE. See the
* GNU General Public License for more details.
*
* You should have received a copy of the GNU General Public License
* along with MinCoverpetri. If not, see <http://www.gnu.org/licenses/>.
* along with MinCoverPetri. If not, see <http://www.gnu.org/licenses/>.
*/
#ifndef MARKINGSCOLLECTION_HPP_
......
......@@ -2,8 +2,11 @@
* \file
* \brief Tools to compute the minimal coverability set of a Petri net
* \author Florent JAILLET
* \date 2016-2017
* \copyright LIF - UMR 7279 - Aix Marseille Univ. / CNRS.
* \date 2016-2018
* \copyright Université d'Aix Marseille (AMU) -
* Centre National de la Recherche Scientifique (CNRS) -
* Université de Toulon (UT).
* Laboratoire d'Informatique et Systèmes - UMR 7020
* This file is released under the GPLv3+.
*
* This file defines the elements used to compute the minimal coverability set
......@@ -11,20 +14,20 @@
* pruning algorithm.
*/
/* This file is part of MinCoverpetri.
/* This file is part of MinCoverPetri.
*
* MinCoverpetri is free software: you can redistribute it and/or modify
* MinCoverPetri is free software: you can redistribute it and/or modify
* it under the terms of the GNU General Public License as published by
* the Free Software Foundation, either version 3 of the License, or
* (at your option) any later version.
*
* MinCoverpetri is distributed in the hope that it will be useful,
* MinCoverPetri is distributed in the hope that it will be useful,
* but WITHOUT ANY WARRANTY; without even the implied warranty of
* MERCHANTABILITY or FITNESS FOR A PARTICULAR PURPOSE. See the
* GNU General Public License for more details.
*
* You should have received a copy of the GNU General Public License
* along with MinCoverpetri. If not, see <http://www.gnu.org/licenses/>.
* along with MinCoverPetri. If not, see <http://www.gnu.org/licenses/>.
*/
#include "mincoversetcomputer.hpp"
......
......@@ -3,28 +3,31 @@
* \brief Header for tools to compute the minimal coverability set of a Petri
* net
* \author Florent JAILLET
* \date 2016-2017
* \copyright LIF - UMR 7279 - Aix Marseille Univ. / CNRS.
* \date 2016-2018
* \copyright Université d'Aix Marseille (AMU) -
* Centre National de la Recherche Scientifique (CNRS) -
* Université de Toulon (UT).
* Laboratoire d'Informatique et Systèmes - UMR 7020
* This file is released under the GPLv3+.
*
* This file declares the elements used to compute the minimal coverability set
* of a Petri net.
*/
/* This file is part of MinCoverpetri.
/* This file is part of MinCoverPetri.
*
* MinCoverpetri is free software: you can redistribute it and/or modify
* MinCoverPetri is free software: you can redistribute it and/or modify
* it under the terms of the GNU General Public License as published by
* the Free Software Foundation, either version 3 of the License, or
* (at your option) any later version.
*
* MinCoverpetri is distributed in the hope that it will be useful,
* MinCoverPetri is distributed in the hope that it will be useful,
* but WITHOUT ANY WARRANTY; without even the implied warranty of
* MERCHANTABILITY or FITNESS FOR A PARTICULAR PURPOSE. See the
* GNU General Public License for more details.
*
* You should have received a copy of the GNU General Public License
* along with MinCoverpetri. If not, see <http://www.gnu.org/licenses/>.
* along with MinCoverPetri. If not, see <http://www.gnu.org/licenses/>.
*/
#ifndef MINCOVERSETCOMPUTER_HPP_
......
......@@ -3,8 +3,11 @@
* \brief Tools to represent and manipulate the nodes and the tree used in the
* monotone pruning algorithm
* \author Florent JAILLET
* \date 2016-2017
* \copyright LIF - UMR 7279 - Aix Marseille Univ. / CNRS.
* \date 2016-2018
* \copyright Université d'Aix Marseille (AMU) -
* Centre National de la Recherche Scientifique (CNRS) -
* Université de Toulon (UT).
* Laboratoire d'Informatique et Systèmes - UMR 7020
* This file is released under the GPLv3+.
*
* This file defines the elements used to represent and manipulate the
......@@ -14,20 +17,20 @@
* the execution of the algorithm.
*/
/* This file is part of MinCoverpetri.
/* This file is part of MinCoverPetri.
*
* MinCoverpetri is free software: you can redistribute it and/or modify
* MinCoverPetri is free software: you can redistribute it and/or modify
* it under the terms of the GNU General Public License as published by
* the Free Software Foundation, either version 3 of the License, or
* (at your option) any later version.
*
* MinCoverpetri is distributed in the hope that it will be useful,
* MinCoverPetri is distributed in the hope that it will be useful,
* but WITHOUT ANY WARRANTY; without even the implied warranty of
* MERCHANTABILITY or FITNESS FOR A PARTICULAR PURPOSE. See the
* GNU General Public License for more details.
*
* You should have received a copy of the GNU General Public License
* along with MinCoverpetri. If not, see <http://www.gnu.org/licenses/>.
* along with MinCoverPetri. If not, see <http://www.gnu.org/licenses/>.
*/
#include "node.hpp"
......
......@@ -3,8 +3,11 @@
* \brief Header for tools to represent and manipulate the nodes of the tree
* used in the monotone pruning algorithm
* \author Florent JAILLET
* \date 2016-2017
* \copyright LIF - UMR 7279 - Aix Marseille Univ. / CNRS.
* \date 2016-2018
* \copyright Université d'Aix Marseille (AMU) -
* Centre National de la Recherche Scientifique (CNRS) -
* Université de Toulon (UT).
* Laboratoire d'Informatique et Systèmes - UMR 7020
* This file is released under the GPLv3+.
*
* This file declares the elements used to represent and manipulate the
......@@ -14,20 +17,20 @@
* the execution of the algorithm.
*/
/* This file is part of MinCoverpetri.
/* This file is part of MinCoverPetri.
*
* MinCoverpetri is free software: you can redistribute it and/or modify
* MinCoverPetri is free software: you can redistribute it and/or modify
* it under the terms of the GNU General Public License as published by
* the Free Software Foundation, either version 3 of the License, or
* (at your option) any later version.
*
* MinCoverpetri is distributed in the hope that it will be useful,
* MinCoverPetri is distributed in the hope that it will be useful,
* but WITHOUT ANY WARRANTY; without even the implied warranty of
* MERCHANTABILITY or FITNESS FOR A PARTICULAR PURPOSE. See the
* GNU General Public License for more details.
*
* You should have received a copy of the GNU General Public License
* along with MinCoverpetri. If not, see <http://www.gnu.org/licenses/>.
* along with MinCoverPetri. If not, see <http://www.gnu.org/licenses/>.
*/
#ifndef NODE_HPP_
......
......@@ -3,8 +3,11 @@
* \brief Tools to represent and manipulate ordered tuples used to accelerate
* key steps of the monotone pruning algorithm
* \author Florent JAILLET
* \date 2016-2017
* \copyright LIF - UMR 7279 - Aix Marseille Univ. / CNRS.
* \date 2016-2018
* \copyright Université d'Aix Marseille (AMU) -
* Centre National de la Recherche Scientifique (CNRS) -
* Université de Toulon (UT).
* Laboratoire d'Informatique et Systèmes - UMR 7020
* This file is released under the GPLv3+.
*
* This file defines a data structure representing ordered tuples. It provides
......@@ -12,20 +15,20 @@
* the monotone pruning algorithm.
*/
/* This file is part of MinCoverpetri.
/* This file is part of MinCoverPetri.
*
* MinCoverpetri is free software: you can redistribute it and/or modify
* MinCoverPetri is free software: you can redistribute it and/or modify
* it under the terms of the GNU General Public License as published by
* the Free Software Foundation, either version 3 of the License, or
* (at your option) any later version.
*
* MinCoverpetri is distributed in the hope that it will be useful,
* MinCoverPetri is distributed in the hope that it will be useful,
* but WITHOUT ANY WARRANTY; without even the implied warranty of
* MERCHANTABILITY or FITNESS FOR A PARTICULAR PURPOSE. See the
* GNU General Public License for more details.
*
* You should have received a copy of the GNU General Public License
* along with MinCoverpetri. If not, see <http://www.gnu.org/licenses/>.
* along with MinCoverPetri. If not, see <http://www.gnu.org/licenses/>.
*/
#include "orderedtuples.hpp"
......
......@@ -3,8 +3,11 @@
* \brief Header for tools to represent and manipulate ordered tuples used to
* accelerate key steps of the monotone pruning algorithm
* \author Florent JAILLET
* \date 2016-2017
* \copyright LIF - UMR 7279 - Aix Marseille Univ. / CNRS.
* \date 2016-2018
* \copyright Université d'Aix Marseille (AMU) -
* Centre National de la Recherche Scientifique (CNRS) -
* Université de Toulon (UT).
* Laboratoire d'Informatique et Systèmes - UMR 7020
* This file is released under the GPLv3+.
*
* This file declares a data structure representing ordered tuples. It provides
......@@ -12,20 +15,20 @@
* the monotone pruning algorithm.
*/
/* This file is part of MinCoverpetri.
/* This file is part of MinCoverPetri.
*
* MinCoverpetri is free software: you can redistribute it and/or modify
* MinCoverPetri is free software: you can redistribute it and/or modify
* it under the terms of the GNU General Public License as published by
* the Free Software Foundation, either version 3 of the License, or
* (at your option) any later version.
*
* MinCoverpetri is distributed in the hope that it will be useful,
* MinCoverPetri is distributed in the hope that it will be useful,
* but WITHOUT ANY WARRANTY; without even the implied warranty of
* MERCHANTABILITY or FITNESS FOR A PARTICULAR PURPOSE. See the
* GNU General Public License for more details.
*
* You should have received a copy of the GNU General Public License
* along with MinCoverpetri. If not, see <http://www.gnu.org/licenses/>.
* along with MinCoverPetri. If not, see <http://www.gnu.org/licenses/>.
*/
#ifndef ORDEREDTUPLES_HPP_
......
......@@ -2,28 +2,31 @@
* \file
* \brief Tools to represent and manipulate place/transition Petri nets
* \author Florent JAILLET
* \date 2016-2017
* \copyright LIF - UMR 7279 - Aix Marseille Univ. / CNRS.
* \date 2016-2018
* \copyright Université d'Aix Marseille (AMU) -
* Centre National de la Recherche Scientifique (CNRS) -
* Université de Toulon (UT).
* Laboratoire d'Informatique et Systèmes - UMR 7020
* This file is released under the GPLv3+.
*
* This file defines the tools to represent and manipulate place/transition
* Petri nets.
*/
/* This file is part of MinCoverpetri.
/* This file is part of MinCoverPetri.
*