projects
/
satcheck.git
/ blobdiff
commit
grep
author
committer
pickaxe
?
search:
re
summary
|
shortlog
|
log
|
commit
|
commitdiff
|
tree
raw
|
inline
| side by side
fix spacing with make tabbing
[satcheck.git]
/
stl-model.h
diff --git
a/stl-model.h
b/stl-model.h
index 85bb311136429e1b62d72a9ea0cf700fa8ec3a4d..37aa909ae76338679500f6b5125b58d9ec973551 100644
(file)
--- a/
stl-model.h
+++ b/
stl-model.h
@@
-17,7
+17,7
@@
template<typename _Tp>
class ModelList : public std::list<_Tp, ModelAlloc<_Tp> >
{
template<typename _Tp>
class ModelList : public std::list<_Tp, ModelAlloc<_Tp> >
{
-
public:
+public:
typedef std::list< _Tp, ModelAlloc<_Tp> > list;
ModelList() :
typedef std::list< _Tp, ModelAlloc<_Tp> > list;
ModelList() :
@@
-28,13
+28,13
@@
class ModelList : public std::list<_Tp, ModelAlloc<_Tp> >
list(n, val)
{ }
list(n, val)
{ }
-
MEMALLOC;
+ MEMALLOC;
};
template<typename _Tp>
class SnapList : public std::list<_Tp, SnapshotAlloc<_Tp> >
{
};
template<typename _Tp>
class SnapList : public std::list<_Tp, SnapshotAlloc<_Tp> >
{
-
public:
+public:
typedef std::list<_Tp, SnapshotAlloc<_Tp> > list;
SnapList() :
typedef std::list<_Tp, SnapshotAlloc<_Tp> > list;
SnapList() :
@@
-51,7
+51,7
@@
class SnapList : public std::list<_Tp, SnapshotAlloc<_Tp> >
template<typename _Tp>
class ModelVector : public std::vector<_Tp, ModelAlloc<_Tp> >
{
template<typename _Tp>
class ModelVector : public std::vector<_Tp, ModelAlloc<_Tp> >
{
-
public:
+public:
typedef std::vector< _Tp, ModelAlloc<_Tp> > vector;
ModelVector() :
typedef std::vector< _Tp, ModelAlloc<_Tp> > vector;
ModelVector() :
@@
-62,13
+62,13
@@
class ModelVector : public std::vector<_Tp, ModelAlloc<_Tp> >
vector(n, val)
{ }
vector(n, val)
{ }
-
MEMALLOC;
+ MEMALLOC;
};
template<typename _Tp>
class SnapVector : public std::vector<_Tp, SnapshotAlloc<_Tp> >
{
};
template<typename _Tp>
class SnapVector : public std::vector<_Tp, SnapshotAlloc<_Tp> >
{
-
public:
+public:
typedef std::vector< _Tp, SnapshotAlloc<_Tp> > vector;
SnapVector() :
typedef std::vector< _Tp, SnapshotAlloc<_Tp> > vector;
SnapVector() :
@@
-82,4
+82,4
@@
class SnapVector : public std::vector<_Tp, SnapshotAlloc<_Tp> >
SNAPSHOTALLOC;
};
SNAPSHOTALLOC;
};
-#endif
/* __STL_MODEL_H__ */
+#endif/* __STL_MODEL_H__ */