				<code>aCrossingTarget</code>
							</a>
							<span class="tableEntryAnnotation">()</span>
						</td>
						<td>Optionally, a_target() and b_target() can specify an early-exit condition
     for the loop relation.  If any point P is found such that
</td>
					</tr>
					<tr>
						<td>
							<a href="../../s2/s2loop/LoopRelation.wedgesCross.html" class="public">
								<code>wedgesCross</code>
							</a>
							<span class="tableEntryAnnotation">(a0, ab1, a2, b0, b2)</span>
						</td>
						<td>G