(***********************************************************************)
(*
- Time-stamp: <Last modified on 2013-03-04 17:55:28 CET by Kim Nguyen>
+ Time-stamp: <Last modified on 2013-03-05 15:24:20 CET by Kim Nguyen>
*)
open Ast
| Descendant self ->
(if self then (`Epsilon ** q) else (`Left ** q)),
(q, [ test => phi;
- QNameSet.any => (`Left ** q) %% (`Right ** q) ]) :: trans,
+ QNameSet.any => (`Left ** q) ++ (`Right ** q) ]) :: trans,
states
| Parent ->