|
openETCS
case study for the European Train Control System developed for the authors dissertation
|
constraint checker file More...
Namespaces | |
| namespace | Error |
Classes | |
| struct | CBinding |
| binding class representation More... | |
| struct | CConcept |
| concept class reprensentation More... | |
| struct | CConnection |
| connection class reprensentation More... | |
| class | CConstraintChecker |
| OCL constraint checker for a GOPPRR model/project. More... | |
| struct | CGraph |
| graph class More... | |
| struct | CGraphicalContainer |
| graphical container class More... | |
| struct | CNonProperty |
| non-property class representation More... | |
| struct | CObject |
| object class representation More... | |
| struct | CPort |
| port class representation More... | |
| struct | CProject |
| project class More... | |
| struct | CProperty |
| property class representation More... | |
| struct | CRelationship |
| relationship binding set More... | |
| struct | CRole |
| role class reprensentation More... | |
constraint checker file
exception types for the GOPPRR tree classes
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/.