Searched refs:PARA_FROM_RIGHT (Results 1 – 4 of 4) sorted by relevance
141 if (Flags[PARA_FROM_RIGHT].val) { in index_paramod()189 if (Flags[PARA_FROM_RIGHT].val) in un_index_paramod()
46 Flags[PARA_FROM_RIGHT].name = "para_from_right"; in init_options()47 Flags[PARA_FROM_RIGHT].val = 1; in init_options()755 auto_change_flag(fp, PARA_FROM_RIGHT, 0); in dependent_flags()1073 Flags[PARA_FROM_RIGHT].val == 0 && Flags[PARA_FROM_LEFT].val == 0) { in check_options()1077 Flags[PARA_FROM_RIGHT].val == 0 && Flags[PARA_FROM_LEFT].val == 0) { in check_options()
40 PARA_FROM_RIGHT, /* allow paramodulation from right sides */ enumerator
323 if (Flags[PARA_FROM_RIGHT].val) in para_from()