Re: [gnugo-devel] supercedes

[Tanguy Urvoy]

Manner Wolfgang a écrit :
> 
> i thought about storing the patterns in a tree, with the more general
> cases first and the more special ones afterwards. so if the more general
> pattern doesnt match, you dont have to try the special ones.
> this is something like "supercedes". i guess it could be done, it would
> somehow clash with DFA ???
> wolfgang

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.
A simple test added to the begining Pxx's callback
can handle this constraint.

Pxx_callback()
{
 if(matched(Pyy)) reject;
 ...
}



-- 
----------------------------------------------------
Tanguy Urvoy http://www.irisa.fr/prive/Tanguy.Urvoy/
----------------------------------------------------