C++ (Cpp) ATremoveElement Examples

Example #1

ATermList remove_epsilon(ATermList set) {
  PT_Symbol epsilon = PT_makeSymbolEmpty();
  return ATremoveElement(set, (ATerm)epsilon);
}

Example #2

File: stratego_sglr_parse.c Project: pSub/strategoxt

/**
 * When a parse table is closed again, we move it to an 'inactive' list.
 * Our blob_destructor() will only destruct inactive parse tables.
 */
void inactivate_parse_table(ATerm t) {
    active_parse_tables = ATremoveElement(active_parse_tables,  t);
    assert(num_inactive_parse_tables < MAX_INACTIVE_PARSE_TABLES);
    inactive_parse_tables[num_inactive_parse_tables++] = t;
}