← Back to branch summary

~ubuntu-branches/ubuntu/hardy/pxp/hardy

« back to all changes in this revision

Viewing changes to src/pxp-engine/pxp_dfa.mli

  • Committer: Bazaar Package Importer
  • Author(s): Stefano Zacchiroli
  • Date: 2005-03-29 11:06:39 UTC
  • mfrom: (2.1.2 hoary)
  • Revision ID: james.westby@ubuntu.com-20050329110639-5p39hz1d4aq3r2ec
Tags: 1.1.95-6
* Rebuilt against ocaml 3.08.3
* No longer built with wlex support (since wlex is no longer supported
  upstream and corresponding package has been removed from the debian
  archive)

Show diffs side-by-side

added added

removed removed

Lines of Context:
src/pxp-engine/pxp_dfa.mli
1
 
(* $Id: pxp_dfa.mli,v 1.2 2002/02/20 10:01:36 gerd Exp $
 
1
(* $Id: pxp_dfa.mli 662 2004-05-25 20:57:28Z gerd $
2
2
 * ----------------------------------------------------------------------
3
3
 *
4
4
 *)
60
60
      dfa_null  : bool;           (* Whether dfa_start member of dfa_stops *)
61
61
    }
62
62
 
63
 
val dfa_of_regexp_content_model : Pxp_types.regexp_spec -> dfa_definition
 
63
val dfa_of_regexp_content_model : Pxp_core_types.regexp_spec -> dfa_definition
64
64
  (* Computes the DFA or raises Not_found if it does not exist *)
65
65
 
66
 
(* ======================================================================
67
 
 * History:
68
 
 * 
69
 
 * $Log: pxp_dfa.mli,v $
70
 
 * Revision 1.2  2002/02/20 10:01:36  gerd
71
 
 *      Simplified the representation of the DFA graphs, resulting
72
 
 * in performance improvements (but less protection against programming
73
 
 * errors)
74
 
 *
75
 
 * Revision 1.1  2000/07/23 02:16:08  gerd
76
 
 *      Initial revision.
77
 
 *
78
 
 * 
79
 
 *)