Searched refs:single_body_subterm_key_tpl (Results 1 – 7 of 7) sorted by relevance
1288 Eterm* single_body_subterm_key_tpl; in db_match_keeps_key() local1354 single_body_subterm_key_tpl = tuple_val(single_body_subterm_key); in db_match_keeps_key()1355 if (single_body_subterm_key_tpl[0] == make_arityval(3) && in db_match_keeps_key()1356 single_body_subterm_key_tpl[1] == am_element && in db_match_keeps_key()1357 single_body_subterm_key_tpl[3] == am_DollarUnderscore && in db_match_keeps_key()1358 single_body_subterm_key_tpl[2] == make_small(keypos)) in db_match_keeps_key()
1286 Eterm* single_body_subterm_key_tpl; in db_match_keeps_key() local1352 single_body_subterm_key_tpl = tuple_val(single_body_subterm_key); in db_match_keeps_key()1353 if (single_body_subterm_key_tpl[0] == make_arityval(3) && in db_match_keeps_key()1354 single_body_subterm_key_tpl[1] == am_element && in db_match_keeps_key()1355 single_body_subterm_key_tpl[3] == am_DollarUnderscore && in db_match_keeps_key()1356 single_body_subterm_key_tpl[2] == make_small(keypos)) in db_match_keeps_key()
1264 Eterm* single_body_subterm_key_tpl; in db_match_keeps_key() local1330 single_body_subterm_key_tpl = tuple_val(single_body_subterm_key); in db_match_keeps_key()1331 if (single_body_subterm_key_tpl[0] == make_arityval(3) && in db_match_keeps_key()1332 single_body_subterm_key_tpl[1] == am_element && in db_match_keeps_key()1333 single_body_subterm_key_tpl[3] == am_DollarUnderscore && in db_match_keeps_key()1334 single_body_subterm_key_tpl[2] == make_small(keypos)) in db_match_keeps_key()
1243 Eterm* single_body_subterm_key_tpl; in db_match_keeps_key() local1309 single_body_subterm_key_tpl = tuple_val(single_body_subterm_key); in db_match_keeps_key()1310 if (single_body_subterm_key_tpl[0] == make_arityval(3) && in db_match_keeps_key()1311 single_body_subterm_key_tpl[1] == am_element && in db_match_keeps_key()1312 single_body_subterm_key_tpl[3] == am_DollarUnderscore && in db_match_keeps_key()1313 single_body_subterm_key_tpl[2] == make_small(keypos)) in db_match_keeps_key()