Hi all,

A question about TODO item
   * Fix memory exhaustion when using many OR's

pull_ors() and pull_ands() are called while processing 
cnfify() and both call copyObject().
		       ^^^^^^^^^^^^^^
For example in pull_ors()

	return (pull_ors(nconc(copyObject((Node *) args),
			copyObject((Node *) lnext(orlist)))));

copyObject() seems too heavy
Is copyObject() necessary in this case ?
Couldn't we change as below ?

	return (pull_ors(nconc(listCopy(args),
			listCopy( lnext(orlist)))));	

I'm not sure it's possible or not ,because I don't understand
cnfify() and other related stuff.

If it's possible,it would improve cnfify()'s performance and 
memory consumption in many OR's cases ,though it would
never fix TODO item.

Comments ?

Regards.

Hiroshi Inoue
Inoue@tpf.co.jp

Thu, 22 Jul 1999 10:47:30 +0900
"Hiroshi Inoue" <Inoue@tpf.co.jp>
cnfify() performance