1
//------------------------------------------------------------------------------
3
// This file is part of Toolkit for Conceptual Modeling (TCM).
4
// (c) copyright 1997, Vrije Universiteit Amsterdam.
5
// Author: Frank Dehne (frank@cs.vu.nl).
7
// TCM is free software; you can redistribute it and/or modify
8
// it under the terms of the GNU General Public License as published by
9
// the Free Software Foundation; either version 2 of the License, or
10
// (at your option) any later version.
12
// TCM is distributed in the hope that it will be useful,
13
// but WITHOUT ANY WARRANTY; without even the implied warranty of
14
// MERCHANTABILITY or FITNESS FOR A PARTICULAR PURPOSE. See the
15
// GNU General Public License for more details.
17
// You should have received a copy of the GNU General Public License
18
// along with TCM; if not, write to the Free Software
19
// Foundation, Inc., 59 Temple Place - Suite 330, Boston, MA
21
//-----------------------------------------------------------------------------
22
#ifndef __BVINSTANCES_H
23
#define __BVINSTANCES_H
27
//GNU g++ does not implement a separate pass to instantiate template
28
//functions and classes at this point; for this reason, it will not work,
29
//for the most part, to declare your template functions in one file and
30
//define them in another. The compiler will need to see the entire
31
//definition of the function, and will generate a static copy of the
32
//function in each file in which it is used.
34
//g++ does not automatically instantiate templates defined in other
35
//files. Because of this, code written for cfront will often produce
36
//undefined symbol errors when compiled with g++. You need to tell g++
37
//the file where they are defined.
39
#include "dginstances.h"
42
#include "../sd/bv/stnode.h"
43
#include "../sd/bv/transition.h"
45
template class List<STNode *>;
46
template class List<Transition *>;
48
#include "../sd/bv/scnode.h"
49
#include "../sd/bv/scdtransitionedge.h"
51
template class List<SCNode *>;
52
template class List <SCDTransitionEdge *>
56
#include "../sd/bv/klocation.h"
57
template class List<KLocation *>;
62
#include "../sd/bv/atdactionstatenode.h"
63
#include "../sd/bv/adsvaluation.h"
64
#include "../sd/bv/adstransition.h"
65
#include "../sd/bv/adshyperedge.h"
66
#include "hyperedge.h"
67
#include "../sd/bv/adsproperty.h"
68
#include "../sd/bv/adsvariable.h"
69
#include "../sd/bv/adspropertyvaluation.h"
70
#include "../sd/bv/adsactivity.h"
71
#include "../sd/bv/adsclock.h"
72
#include "../sd/bv/adsclockconstraint.h"
73
#include "../sd/bv/bag.h"
74
#include "../sd/bv/adsvariable.h"
76
template class List<ADSValuation *>;
77
template class List<List <ADSValuation *> *>;
78
template class List<ADSTransition *>;
79
template class List<ATDActionStateNode *>;
80
template class List<ADSHyperEdge *>;
81
template class List<Bag<ADSHyperEdge *> *>;
82
template class List<Prop *>;
83
template class List<ADSVar *>;
84
template class List<PropVal *>;
85
template class List<ADSActivity *>;
86
template class List<Clock *>;
87
template class List<ClockConstraint *>;
88
template class List<List<bool> *>;