mutable result : BST.t;
mutable numbt : int;
mutable max_states : int;
+ contains : (string,Tree.Binary.DocIdSet.t) Hashtbl.t;
}
val mk : unit -> t
val dump : Format.formatter -> t -> unit
module BottomUp :
sig
- val accepting_among : ?strings:Tree.Binary.DocIdSet.t option ->
+ val accepting_among : ?nobrother:bool -> ?strings:Tree.Binary.DocIdSet.t option ->
t -> Tree.Binary.t -> SSet.t -> SSet.t
val accept : ?strings:Tree.Binary.DocIdSet.t option ->
t -> Tree.Binary.t -> bool