Searched refs:SAT_COLOR_ELIMINATION (Results 1 – 3 of 3) sorted by relevance
323 SAT_COLOR_ELIMINATION, enumerator
827 case InferenceRule::SAT_COLOR_ELIMINATION: in ruleName()
320 … Inference elInf = NonspecificInferenceMany(InferenceRule::SAT_COLOR_ELIMINATION, second_prems); in handleSatRefutation()325 … Inference finalInf = NonspecificInferenceMany(InferenceRule::SAT_COLOR_ELIMINATION,first_prems); in handleSatRefutation()