diff options
Diffstat (limited to 'src/zchaff/satParser.mli')
-rw-r--r-- | src/zchaff/satParser.mli | 33 |
1 files changed, 33 insertions, 0 deletions
diff --git a/src/zchaff/satParser.mli b/src/zchaff/satParser.mli new file mode 100644 index 0000000..ad5385b --- /dev/null +++ b/src/zchaff/satParser.mli @@ -0,0 +1,33 @@ +type lex_buff = { + buff : string; + mutable curr_char : int; + mutable buff_end : int; + in_ch : in_channel; +} +val buff_length : int +val open_file : string -> string -> lex_buff +val close : lex_buff -> unit +val eof : lex_buff -> bool +val curr_char : lex_buff -> char +val refill : lex_buff -> unit +val is_space : char -> bool +val is_space_ret : char -> bool +val skip : (char -> bool) -> lex_buff -> unit +val skip_space : lex_buff -> unit +val skip_blank : lex_buff -> unit +val skip_string : lex_buff -> string -> bool +val match_string : lex_buff -> string -> unit +val aux_buff : bytes +val aux_be : int ref +val aux_pi : int ref +val aux_cc : int ref +val save_lb : lex_buff -> unit +val restore_lb : lex_buff -> unit +val check_string : lex_buff -> string -> bool +val blank_check_string : lex_buff -> string -> bool +val blank_match_string : lex_buff -> string -> unit +val is_digit : char -> bool +val is_start_int : lex_buff -> bool +val input_int : lex_buff -> int +val input_blank_int : lex_buff -> int +val skip_line : lex_buff -> unit |