[gecode-users] regular constraint

[夏维]

Hello,

         I got a problem about extensional(regular) constraint. The question is whether the input of a regular constraint can be a NFA.
         In the detailed description file of DFA ( http://www.gecode.org/doc-latest/reference/classGecode_1_1DFA.html ), it is said that "the transitions must be deterministic." Is is true? I applied regular constraint on some NFA constraint, it seems to be able to give the correct result. 

Thank a lot!

XW.  
 		 	   		   		 	   		  
-------------- next part --------------
An HTML attachment was scrubbed...
URL: <http://www.gecode.org/pipermail/users/attachments/20120604/92f21d14/attachment-0001.html>