Searched refs:idx_atom (Results 1 – 3 of 3) sorted by relevance
124 nr_atoms=predi->idx_atom; in gera_codigo_try_atom()287 if (p->arity && (p->idx_list || p->idx_atom || p->idx_functor)) { in do_eam_indexing()308 …d \n",p->name,p->arity,p->eager_split,p->nr_alt,p->idx_var,p->idx_list,p->idx_atom,p->idx_functor); in ver_predicados()
82 predi->idx_atom=0; in anota_predicados()95 if (info_type & Constante) predi->idx_atom++; in anota_predicados()
67 unsigned int idx_atom; /* nr clauses with 1st argument atom */ member