Searched refs:ClauseTermSetProp (Results 1 – 3 of 3) sorted by relevance
120 ClauseTermSetProp(clause, TPCheckFlag); in cond_init_lit_table()
278 #define ClauseTermSetProp(clause, prop) \ macro
1202 ClauseTermSetProp(handle, prop); in ClauseSetTermSetProp()