Home
last modified time | relevance | path

Searched refs:PARA_FROM_VARS (Results 1 – 4 of 4) sorted by relevance

/dports/misc/otter/otter-3.3f/source/
H A Dindex.c137 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()
H A Dcos.h43 PARA_FROM_VARS, /* allow paramodulation from variables */ enumerator
H A Doptions.c49 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()
H A Dparamod.c276 if (alpha->type == VARIABLE && Flags[PARA_FROM_VARS].val == 0) in para_from_alpha()