From 19d2075236c4c3fd932f7cf003b9f7283dafaeca Mon Sep 17 00:00:00 2001
From: Enrico Tassi <Enrico.Tassi@inria.fr>
Date: Thu, 26 Jun 2014 15:38:49 +0200
Subject: more APIs in TQueue and CThread

These are now sufficient to implement PIDE
---
 stm/tQueue.mli | 2 ++
 1 file changed, 2 insertions(+)

(limited to 'stm/tQueue.mli')

diff --git a/stm/tQueue.mli b/stm/tQueue.mli
index a3ea5532f..f3703285a 100644
--- a/stm/tQueue.mli
+++ b/stm/tQueue.mli
@@ -15,3 +15,5 @@ val push : 'a t -> 'a -> unit
 val reorder : 'a t -> ('a -> 'a -> int) -> unit
 val wait_until_n_are_waiting_and_queue_empty : int -> 'a t -> unit
 val dump : 'a t -> 'a list
+val clear : 'a t -> unit
+val is_empty : 'a t -> bool
-- 
cgit v1.2.3