Commit 113c3aa0 authored by regnat's avatar regnat
Browse files

Add ability to export Chars.t as in concrete type

Chars.t is an abstract type and there is no way to get back its content
in a manipulable structure, which is painful if external applications
want to use Cduce as a library
parent 6d44f428
......@@ -86,6 +86,8 @@ let cup i1 i2 = List.fold_left add i1 i2
let mk_classes c =
List.fold_left (fun accu (i,j) -> cup accu (char_class i j)) empty c
let get_classes = fun x -> x
(* TODO: optimize this ? *)
let cap i1 i2 = neg (cup (neg i1) (neg i2))
......@@ -22,6 +22,7 @@ val diff : t -> t -> t
val char_class : V.t-> V.t-> t
val atom : V.t-> t
val mk_classes : (int * int) list -> t
val get_classes : t -> (int * int) list
val disjoint : t -> t -> bool
val is_empty : t -> bool
Markdown is supported
0% or .
You are about to add 0 people to the discussion. Proceed with caution.
Finish editing this message first!
Please register or to comment