- | Child ->
- let loop = `Right *+ state in
- let phi = mk_phi toplevel cont loop in
- ( [ (Transition.make (state, test, marking, phi));
- (Transition.make (state, TagSet.any, false, loop))],
- (`Left *+ state))
-
- | FollowingSibling ->
- let loop = `Right *+ state in
- let phi = mk_phi toplevel cont loop in
- ( [ (Transition.make (state, test, marking, phi));
- (Transition.make (state, TagSet.any, false, loop))],
- (`Right *+ state))
-
- | Descendant ->
- let loopfun = if toplevel then Formula.and_ else Formula.or_ in
- let loop = loopfun (`Left *+ state) (`Right *+ state) in
- let phi = mk_phi toplevel cont loop in
- ( [ (Transition.make (state, test, marking, phi));
- (Transition.make (state, TagSet.any, false, loop));
- (*(Transition.make (state, TagSet.any, false, `Right *+ state)) *)
- ],
- (`Left *+ state))
-
- | _ -> assert false
+ | Child ->
+ let loop = `Right *+ state in
+ let phi = mk_phi toplevel cont loop in
+ ( [ (Transition.make (state, test, marking, phi));
+ (Transition.make (state, TagSet.any, false, loop))],
+ (`Left *+ state))
+
+ | FollowingSibling ->
+ let loop = `Right *+ state in
+ let phi = mk_phi toplevel cont loop in
+ ( [ (Transition.make (state, test, marking, phi));
+ (Transition.make (state, TagSet.any, false, loop))],
+ (`Right *+ state))
+
+ | Descendant ->
+ let loopfun = if toplevel then Formula.and_ else Formula.or_ in
+ let loop = loopfun (`Left *+ state) (`Right *+ state) in
+ let phi = mk_phi toplevel cont loop in
+ ( [ (Transition.make (state, test, marking, phi));
+ (Transition.make (state, TagSet.any, false, loop));
+ ],
+ (`Left *+ state))
+
+ | _ -> assert false