From 059def11cb8c53d85f7eed2af98a0bca0120a9cc Mon Sep 17 00:00:00 2001 From: Kartik Agaram Date: Sat, 12 May 2018 23:08:39 -0700 Subject: 4244 --- html/036refcount.cc.html | 91 ------------------------------------------------ 1 file changed, 91 deletions(-) delete mode 100644 html/036refcount.cc.html (limited to 'html/036refcount.cc.html') diff --git a/html/036refcount.cc.html b/html/036refcount.cc.html deleted file mode 100644 index fcdca25d..00000000 --- a/html/036refcount.cc.html +++ /dev/null @@ -1,91 +0,0 @@ - - - - -Mu - 036refcount.cc - - - - - - - - - - -
- 1 int payload_size(reagent/*copy*/ x) {
- 2   x.properties.push_back(pair<string, string_tree*>("lookup", NULL));
- 3   lookup_memory_core(x, /*check_for_null*/false);
- 4   return size_of(x);
- 5 }
- 6 
- 7 bool is_mu_container(const reagent& r) {
- 8   return is_mu_container(r.type);
- 9 }
-10 bool is_mu_container(const type_tree* type) {
-11   if (!type) return false;
-12   // End is_mu_container(type) Special-cases
-13   if (type->value == 0) return false;
-14   if (!contains_key(Type, type->value)) return false;  // error raised elsewhere
-15   type_info& info = get(Type, type->value);
-16   return info.kind == CONTAINER;
-17 }
-18 
-19 bool is_mu_exclusive_container(const reagent& r) {
-20   return is_mu_exclusive_container(r.type);
-21 }
-22 bool is_mu_exclusive_container(const type_tree* type) {
-23   if (!type) return false;
-24   // End is_mu_exclusive_container(type) Special-cases
-25   if (type->value == 0) return false;
-26   if (!contains_key(Type, type->value)) return false;  // error raised elsewhere
-27   type_info& info = get(Type, type->value);
-28   return info.kind == EXCLUSIVE_CONTAINER;
-29 }
-
- - - -- cgit 1.4.1-2-gfad0