char *symbol_insert(PDDLDomain *domain, const char *name) { static char buffer[STRING_MAX]; int i = 0; do buffer[i++] = tolower(*name); while (*name++); return (char *) gdsl_rbtree_insert(domain->symbols_table, buffer, &lost_int); }
static Node *closed_list_insert(Node *node) { int gdsl_return; ulong i; for (i = 0; i < (ulong) (fluents_nb -1) / __WORDSIZE + 1; i++) node->key ^= node->state[i] * (i + 1); gdsl_rbtree_insert(closed_list, node, &gdsl_return); return gdsl_return == GDSL_INSERTED ? node : ({ node_free(node); (Node *) NULL; });
static Node *open_list_insert(Node *node) { int gdsl_return; return (Node *) gdsl_rbtree_insert(open_list, node, &gdsl_return); }
FOR(t, types) { gdsl_rbtree_insert(t->constants_table, constant, &lost_int); add_constant_to_types(constant, t->subtypes, t->subtypes_nb); } EFOR;