next up previous
Next: Remarks Up: Interface for DFAs Previous: Interface for DFAs


In any of these methods, no sanity checks are performed on the validity of the arguments, it is up to the user to ensure that correct values are passed to these functions, otherwise the result is undefined.

Vincent Lemaout