18namespace layer1_foundations {
19namespace orbiter_kernel_system {
50 if (strcmp(str,
"int") == 0) {
53 else if (strcmp(str,
"pint") == 0) {
56 else if (strcmp(str,
"lint") == 0) {
59 else if (strcmp(str,
"plint") == 0) {
62 else if (strcmp(str,
"ppint") == 0) {
65 else if (strcmp(str,
"char") == 0) {
68 else if (strcmp(str,
"uchar") == 0) {
71 else if (strcmp(str,
"pchar") == 0) {
74 else if (strcmp(str,
"puchar") == 0) {
77 else if (strcmp(str,
"pvoid") == 0) {
80 else if (strcmp(str,
"OBJECT") == 0) {
83 else if (strcmp(str,
"OBJECTS") == 0) {
94 ost <<
"invalid entry";
133 ost <<
"unknown" << endl;
141 cout <<
"mem_object_registry_entry::size_of invalid entry" << endl;
154 return sizeof(
long int *) *
object_n;
181 cout <<
"mem_object_registry_entry::size_of "
191 cout << line <<
" : ";
catch all class for algorithms
void print_pointer_hex(std::ostream &ost, void *p)
void set_type_from_string(char *str)
mem_object_registry_entry()
~mem_object_registry_entry()
void print_csv(std::ostream &ost, int line)
const char * extra_type_info
void print_type(std::ostream &ost)
the orbiter library for the classification of combinatorial objects
#define POINTER_TYPE_puchar
#define POINTER_TYPE_uchar
#define POINTER_TYPE_pint
#define POINTER_TYPE_lint
#define POINTER_TYPE_ppint
#define POINTER_TYPE_INVALID
#define POINTER_TYPE_OBJECTS
#define POINTER_TYPE_pchar
#define POINTER_TYPE_PVOID
#define POINTER_TYPE_OBJECT
#define POINTER_TYPE_char
#define POINTER_TYPE_plint