openETCS
case study for the European Train Control System developed for the authors dissertation
|
#include "Project.h"
#include "Graph.h"
#include "Object.h"
#include "Property.h"
#include "Port.h"
#include "Role.h"
#include "Relationship.h"
Go to the source code of this file.
Namespaces | |
namespace | GOPPRR |
constraint checker file |
Copyright (C) 2010-2012 Johannes Feuser (feuser@uni-bremen.de)
The openETCS library 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 any later version.
The openETCS library 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 the openETCS library. If not, see
"http://www.gnu.org/licenses/.