23 #ifndef SHEAF_DLL_SPEC_H 24 #include "SheafSystem/sheaf_dll_spec.h" 28 #include "SheafSystem/std_cstddef.h" 65 const immutable_id_map* scope()
const;
70 void put_scope(
const immutable_id_map* xmap);
75 const immutable_id_map* old_scope()
const;
113 static void*
operator new(size_t)
115 return reinterpret_cast<void *
>(1);
122 static void*
operator new[] ( size_t );
127 static void operator delete(
void*)
134 static void operator delete[](
void *);
145 #endif // ifndef INDEX_SCOPE_H const immutable_id_map * _old_scope
The scope before this was created.
Default id map for objects of type scoped_index. A convenient and safe mechanism for managing scoped_...
Namespace for the sheaves component of the sheaf system.