Re: [gnugo-devel] dfa_unsort_1_25.1

[Tanguy URVOY]

Arend Bayer wrote:
> 
> In matchpat, there is a compiler switch DFA_SORT. I assume this was mainly
> introduced for debugging purposes, to make dfa behave as close as possible
> to the classical pattern matcher.

Yes and no,

Yes because it allowed a best comparison with standard algorithm
and No because it also allow a control of patterns evaluation order.

For example

XX
..
XX

should be evaluated before

X
.
X

to avoid a heavy connection test.


Maybe we could use a boolean variable instead of a compiler switch
to enable this feature only when needed.

The most important to keep the incremental door open 
is to keep a clear separation between the
pure pattern matching and the constrain evaluation.


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