Searched refs:PARA_FROM_VARS (Results 1 – 4 of 4) sorted by relevance
137 if (Flags[PARA_FROM_VARS].val || atom->farg->argval->type != VARIABLE) in index_paramod()142 if (Flags[PARA_FROM_VARS].val || atom->farg->narg->argval->type != VARIABLE) in index_paramod()186 if (Flags[PARA_FROM_VARS].val || atom->farg->argval->type != VARIABLE) in un_index_paramod()190 if (Flags[PARA_FROM_VARS].val || atom->farg->narg->argval->type != VARIABLE) in un_index_paramod()
43 PARA_FROM_VARS, /* allow paramodulation from variables */ enumerator
49 Flags[PARA_FROM_VARS].name = "para_from_vars"; in init_options()50 Flags[PARA_FROM_VARS].val = 0; in init_options()758 auto_change_flag(fp, PARA_FROM_VARS, 1); in dependent_flags()
276 if (alpha->type == VARIABLE && Flags[PARA_FROM_VARS].val == 0) in para_from_alpha()