[Top][All Lists]
[Date Prev][Date Next][Thread Prev][Thread Next][Date Index][Thread Index]
Re: [gnugo-devel] supercedes
From: |
Inge Wallin |
Subject: |
Re: [gnugo-devel] supercedes |
Date: |
Fri, 8 Feb 2002 17:59:22 +0100 (MET) |
> This supercedes constraint is a good idea but it is not a part of
> "pure pattern matching" so it should not interfere with it.
>
>
> The constraint should not be "supercedes(Pxx)" for pattern Pyy
> but "is_supeceded_by(Pyy)" for Pxx.
In that case, is_superceded_by() should be able to take more than one
parameter. It might be possible to generate several special cases
from one general case. If any of the special cases match, then the
general pattern should not be tried.
-Inge