Function joint-generation

Lambda List

joint-generation (p &key stream trace trace-style (stream nil) (trace nil) (trace-style list))


Run Gurvich-Khachiyan style joint generation using Fredman-Khachiyan Algorithm A.

If oracle of P answers non-NIL, the clause goes into B, (the implicants), to A otherwise. Write the clauses as they are generated on STREAM, if that is non-nil. Write them as specified by TRACE-STYLE: :integer, :bits, :list.