Up – Package index » TCSLib » Library TCSLib » Tcsautotransform » GoodForGamesNBAtoNPA

Module `Tcsautotransform.GoodForGamesNBAtoNPA`

type 'a state = ('a Tcsset.TreeSet.t * 'a Tcsset.TreeSet.t) list * int

val transform : 
  ('a, 'b) Tcsautomata.NBA.t ->
  Tcsautomata.NMAFunctions.state_size ->
  ('a state, 'b) Tcsautomata.NPA.t