Re: CSE471 project 3 get-ground-operators()

[Subbarao Kambhampati <rao@asu.edu>]

Just because it says  unstack many times below doesn't mean that they
are all the same operator instances. If you inspect them, you will
find that they are differnt (e.g. unstack(A,B); unstack(C,A);
unstack(A,A) etc.). My print structure routine condenses the prointing 
of the operator to just their name when they appear inside of a
list--thus your confusion

<Operator: UNSTACK>
<Operator: UNSTACK>
<Operator: UNSTACK>
<Operator: UNSTACK>
<Operator: UNSTACK>
<Operator: UNSTACK>
<Operator: UNSTACK>
<Operator: UNSTACK>
<Operator: UNSTACK>

Rao

From: nils.obermiller@asu.edu
Subject: CSE471 project 3 get-ground-operators()
Date: Wed, 29 Oct 2003 11:14:38 -0700 (MST)
Message-ID: <1067451278.3fa0038e5f95e@webmail.asu.edu>

nils.obermiller> <Operator: UNSTACK>
nils.obermiller> <Operator: UNSTACK>
nils.obermiller> <Operator: UNSTACK>
nils.obermiller> <Operator: UNSTACK>
nils.obermiller> <Operator: UNSTACK>
nils.obermiller> <Operator: UNSTACK>
nils.obermiller> <Operator: UNSTACK>
nils.obermiller> <Operator: UNSTACK>
nils.obermiller> <Operator: UNSTACK>