projects
/
tatoo.git
/ blobdiff
commit
grep
author
committer
pickaxe
?
search:
re
summary
|
shortlog
|
log
|
commit
|
commitdiff
|
tree
raw
|
inline
| side by side
Full implem BU Oracle + eval_form in Formula (impossible in Asta) + transitions_lab...
[tatoo.git]
/
src
/
asta.mli
diff --git
a/src/asta.mli
b/src/asta.mli
index
14c2562
..
190f979
100644
(file)
--- a/
src/asta.mli
+++ b/
src/asta.mli
@@
-34,10
+34,14
@@
type t
val transition : t -> state -> label -> formula
(** Give the formula which must hold for a current state and label *)
val transition : t -> state -> label -> formula
(** Give the formula which must hold for a current state and label *)
-val transitions : t -> state -> (
(label*formula) list)*((label*formula) list)
+val transitions : t -> state -> (
label*formula) list * (label*formula) list
(** Give the list of labels and formulae from queries and recognizing
transitions for a given state *)
(** Give the list of labels and formulae from queries and recognizing
transitions for a given state *)
+val transitions_lab : t -> QName.t -> (state*formula) list *(state*formula) list
+(** Give the list of states and formulae from queries and recognizing
+ transitions for a given tag *)
+
val empty : t
(** The empty automaton *)
val empty : t
(** The empty automaton *)