~ubuntu-branches/ubuntu/intrepid/tcm/intrepid

« back to all changes in this revision

Viewing changes to src/sd/bv/bvinstances.h

  • Committer: Bazaar Package Importer
  • Author(s): Otavio Salvador
  • Date: 2003-07-03 20:08:21 UTC
  • Revision ID: james.westby@ubuntu.com-20030703200821-se4xtqx25e5miczi
Tags: upstream-2.20
ImportĀ upstreamĀ versionĀ 2.20

Show diffs side-by-side

added added

removed removed

Lines of Context:
 
1
//------------------------------------------------------------------------------
 
2
// 
 
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).
 
6
//
 
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. 
 
11
// 
 
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.
 
16
//
 
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
 
20
// 02111-1307, USA.
 
21
//-----------------------------------------------------------------------------
 
22
#ifndef __BVINSTANCES_H
 
23
#define __BVINSTANCES_H
 
24
 
 
25
#ifdef __GNUC__
 
26
 
 
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.
 
33
// 
 
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.
 
38
 
 
39
#include "dginstances.h"
 
40
 
 
41
// Part for TSTD
 
42
#include "../sd/bv/stnode.h"
 
43
#include "../sd/bv/transition.h"
 
44
 
 
45
template class List<STNode *>;
 
46
template class List<Transition *>;
 
47
 
 
48
#include "../sd/bv/scnode.h"
 
49
#include "../sd/bv/scdtransitionedge.h"
 
50
 
 
51
template class List<SCNode *>;
 
52
template class List <SCDTransitionEdge *>
 
53
 
 
54
 
 
55
#ifdef MODELCHECK
 
56
#include "../sd/bv/klocation.h"
 
57
template class List<KLocation *>;
 
58
#endif
 
59
 
 
60
// Part for TATD
 
61
 
 
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"
 
75
 
 
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> *>;
 
89
 
 
90
 
 
91
 
 
92
#endif
 
93
#endif