Searched defs:add_clause (Results 1 – 2 of 2) sorted by relevance
45 predicate::add_clause (conditions conditions, clause_t new_clause) in add_clause() function
240 add_clause (conditions conditions, struct predicate *p, clause_t clause) in add_clause() function