Up – Package index » mlsolver » Library mlsolver » Ctltracenba

Module `Ctltracenba`

type rules =

| Branch of Tcsctlstarformula.block * int * bool
| Follow of Tcsctlstarformula.block * int
| Next0
| Next1 of Tcsctlstarformula.block
| Delete of Tcsctlstarformula.block * int
| DeleteBlock of Tcsctlstarformula.block

type ctl_trace_nba_state =

| Failed
| Waiting
| Tracking of Tcsctlstarformula.block * int

val ctl_trace_nba : 
  Tcsctlstarformula.decomposed_ctlstar_formula ->
  (ctl_trace_nba_state, rules) Tcsautomata.NBA.t