From dougo@ccs.neu.edu Fri Sep  5 15:46:45 1997
Received: from vega.neu.edu (vega.ccs.neu.edu [129.10.115.77])
	by amber.ccs.neu.edu (8.8.6/8.7.3) with SMTP id PAA20295; Fri, 5 Sep 1997 15:46:43 -0400 (EDT)
Received: by vega.neu.edu (SMI-8.6/SMI-SVR4)
	id PAA01587; Fri, 5 Sep 1997 15:46:28 -0400
Date: Fri, 5 Sep 1997 15:46:28 -0400
Message-Id: <199709051946.PAA01587@vega.neu.edu>
From: Doug Orleans <dougo@ccs.neu.edu>
To: Karl Lieberherr <lieber@ccs.neu.edu>
Cc: dem@ccs.neu.edu
Subject: Re: meaning of only-through
In-Reply-To: <199709012356.TAA23446@stockberg.ccs.neu.edu>
References: <199709012356.TAA23446@stockberg.ccs.neu.edu>
X-Mailer: VM 6.22 under 19.15 XEmacs Lucid
X-Face: (4D-osoq?}7M3\EgvbWKo<JkN/8h)A`1b^S1[8/OtYE1A61B!AOmH#YD+{HKhr7}@8gMv~.
	 tsxTzT"g.oP0dTl!q
Mime-Version: 1.0 (generated by tm-edit 7.106)
Content-Type: text/plain; charset=US-ASCII
Status: RO

Karl Lieberherr writes:
 > Hi Doug:
 > 
 > Do S1 and S2 have the same meaning?
 > "edges incident with Q" is expanded when the class graph is known.
 > 
 > -- Karl
 > 
 > strategy S1 = 
 >   {
 >     A->B only-through {Q}
 >   }.
 > strategy S2 = 
 >   {
 >     A->B only-through {"edges incident with Q"}
 >   }.

Currently "only-through Q" is equivalent to "only-through ->*,*,Q",
just as "bypassing Q" is equivalent to "bypassing ->*,*,Q".  I
probably need to fix this to mean what you thought it meant, because
it's a bit more logical and probably more useful.

--Doug