FiniteNbvpaMetaTrapo (p.fadecider.0.7.doc.fadecider.Trapo.FiniteNbvpaMetaTrapo)

Sourcetype ('q, 'a) i = ('q, 'a Tcsautomata.NMVPA.nested) SimpleMetaTrapo.t

type ('q, 'a, 's) r =
  ('q, 'a Tcsautomata.NMVPA.nested, 's option, unit) MetaTrapo.t

Sourcetype ('q, 'a, 's) c = ('q, 'a Tcsautomata.NMVPA.nested, unit, 's) MetaTrapo.t

Source

val make_i : 
  ('q, 'a, _) Tcsautomata.NBVPA.t ->
  'q Tcsbasedata.Iterators.iterator ->
  'a Tcsautomata.NMVPA.nested Tcsbasedata.Iterators.iterator ->
  ('q, 'a) i

Source

val make_r : 
  ('q, 'a, 's) Tcsautomata.NBVPA.t ->
  'q Tcsbasedata.Iterators.iterator ->
  'a Tcsautomata.NMVPA.nested Tcsbasedata.Iterators.iterator ->
  's Tcsbasedata.Iterators.iterator ->
  ('q, 'a, 's) r

Source

val make_c : 
  ('q, 'a, 's) Tcsautomata.NBVPA.t ->
  'q Tcsbasedata.Iterators.iterator ->
  'a Tcsautomata.NMVPA.nested Tcsbasedata.Iterators.iterator ->
  's Tcsbasedata.Iterators.iterator ->
  ('q, 'a, 's) c

Source

val make : 
  ('q, 'a, 's) Tcsautomata.NBVPA.t ->
  'q Tcsbasedata.Iterators.iterator ->
  'a Tcsautomata.NMVPA.nested Tcsbasedata.Iterators.iterator ->
  's Tcsbasedata.Iterators.iterator ->
  ('q, 'a) i * ('q, 'a, 's) r * ('q, 'a, 's) c