Searched refs:SigIsSimpleAnswerPred (Results 1 – 3 of 3) sorted by relevance
69 SigIsSimpleAnswerPred(lit->bank->sig, lit->lterm->f_code) in answer_lit_print()
206 #define SigIsSimpleAnswerPred(sig, f_code) \ macro
188 SigIsSimpleAnswerPred((eq)->bank->sig, (eq)->lterm->f_code)