Esempio n. 1
0
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);
}
Esempio n. 2
0
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; });
Esempio n. 3
0
static Node *open_list_insert(Node *node)
{
  int gdsl_return;
  return (Node *) gdsl_rbtree_insert(open_list, node, &gdsl_return);
}
Esempio n. 4
0
 FOR(t, types) {
   gdsl_rbtree_insert(t->constants_table, constant, &lost_int);
   add_constant_to_types(constant, t->subtypes, t->subtypes_nb);
 } EFOR;