Function maximize-clause

Lambda List

maximize-clause (oracle clause &key multiple (multiple nil))


Change CLAUSE destructively to turn it into a support-maxmimal false clause for ORACLE. If MULTIPLE is non-nil, return a list with at least 1 entry, the maximized version of CLAUSE and possible additional maximal clauses derived from it. The first result is the modified argument, the others are copies.