projects
/
model-checker.git
/ blobdiff
commit
grep
author
committer
pickaxe
?
search:
re
summary
|
shortlog
|
log
|
commit
|
commitdiff
|
tree
raw
|
inline
| side by side
rename 'MyAlloc' to 'ModelAlloc'
[model-checker.git]
/
mymemory.h
diff --git
a/mymemory.h
b/mymemory.h
index 1d4c123ef141134bdf246f07b25c965204921154..47a7ae0b6974a75327fba5d00e7a4ef3b1669af1 100644
(file)
--- a/
mymemory.h
+++ b/
mymemory.h
@@
-61,7
+61,7
@@
void *system_malloc( size_t size );
* warranty, and with no claim as to its suitability for any purpose.
*/
template <class T>
* warranty, and with no claim as to its suitability for any purpose.
*/
template <class T>
- class M
y
Alloc {
+ class M
odel
Alloc {
public:
// type definitions
typedef T value_type;
public:
// type definitions
typedef T value_type;
@@
-75,7
+75,7
@@
template <class T>
// rebind allocator to type U
template <class U>
struct rebind {
// rebind allocator to type U
template <class U>
struct rebind {
- typedef M
y
Alloc<U> other;
+ typedef M
odel
Alloc<U> other;
};
// return address of values
};
// return address of values
@@
-89,14
+89,14
@@
template <class T>
/* constructors and destructor
* - nothing to do because the allocator has no state
*/
/* constructors and destructor
* - nothing to do because the allocator has no state
*/
- M
y
Alloc() throw() {
+ M
odel
Alloc() throw() {
}
}
- M
yAlloc(const My
Alloc&) throw() {
+ M
odelAlloc(const Model
Alloc&) throw() {
}
template <class U>
}
template <class U>
- M
yAlloc (const My
Alloc<U>&) throw() {
+ M
odelAlloc (const Model
Alloc<U>&) throw() {
}
}
- ~M
y
Alloc() throw() {
+ ~M
odel
Alloc() throw() {
}
// return maximum number of elements that can be allocated
}
// return maximum number of elements that can be allocated
@@
-130,15
+130,15
@@
template <class T>
/** Return that all specializations of this allocator are interchangeable. */
template <class T1, class T2>
/** Return that all specializations of this allocator are interchangeable. */
template <class T1, class T2>
- bool operator== (const M
y
Alloc<T1>&,
- const M
y
Alloc<T2>&) throw() {
+ bool operator== (const M
odel
Alloc<T1>&,
+ const M
odel
Alloc<T2>&) throw() {
return true;
}
/** Return that all specializations of this allocator are interchangeable. */
template <class T1, class T2>
return true;
}
/** Return that all specializations of this allocator are interchangeable. */
template <class T1, class T2>
- bool operator!= (const M
y
Alloc<T1>&,
- const M
y
Alloc<T2>&) throw() {
+ bool operator!= (const M
odel
Alloc<T1>&,
+ const M
odel
Alloc<T2>&) throw() {
return false;
}
return false;
}