package fadecider

  1. Overview
  2. Docs
package fadecider
Legend:
Page
Library
Module
Module type
Parameter
Class
Class type
Source

Module Trapo.MetaTrapoSource

Sourcetype ('q, 'a, 'x, 'y) t
Sourceval initial : ('q, 'a, 'x, 'y) t -> 'q
Sourceval states : ('q, 'a, 'x, 'y) t -> 'q Tcsbasedata.Domain.t
Sourceval source : ('q, 'a, 'x, 'y) t -> 'x Tcsbasedata.Domain.t
Sourceval state_source : ('q, 'a, 'x, 'y) t -> ('q * 'x) Tcsbasedata.Domain.t
Sourceval alphabet_iter : ('q, 'a, 'x, 'y) t -> 'a Tcsbasedata.Iterators.iterator
Sourceval state_source_iterator : ('q, 'a, 'x, 'y) t -> ('q * 'x) Tcsbasedata.Iterators.iterator
Sourceval target : ('q, 'a, 'x, 'y) t -> 'y Tcsbasedata.Domain.t
Sourceval omega : ('q, 'a, 'x, 'y) t -> 'q -> int
Sourceval omega_combine : ('q, 'a, 'x, 'y) t -> int -> int -> int
Sourceval delta : ('q, 'a, 'x, 'y) t -> ('q * 'x) -> 'a -> ('q * 'y) Tcsbasedata.Iterators.iterator