package fadecider

You can search for identifiers within the package.

in-package search v0.2.0

Legend:
Page
Library
Module
Module type
Parameter
Class
Class type
Source

Module `Trapo.SimpleTrapo`Source

Sourcetype ('q, 'a) t = ('q, 'a, unit, unit) Trapo.t

Sourceval format_transitions : ('q, 'a) SimpleMetaTrapo.t -> ('q, 'a) t -> string

Sourceval format_word : ('q, 'a) SimpleMetaTrapo.t -> ('q, 'a) t -> string

Sourceval format : ('q, 'a) SimpleMetaTrapo.t -> ('q, 'a) t -> string

Sourceval get_word : ('q, 'a) t -> 'a Tcsautomata.Alphabet.word

val compare_words : 
  ('q, 'a) SimpleMetaTrapo.t ->
  ('q, 'a) t ->
  ('q, 'a) t ->
  int

val compare_transitions : 
  ('q, 'a) SimpleMetaTrapo.t ->
  ('q, 'a) t ->
  ('q, 'a) t ->
  int

val compare_full : 
  ('q, 'a) SimpleMetaTrapo.t ->
  ('q, 'a) t ->
  ('q, 'a) t ->
  int

Sourceval compare : ('q, 'a) SimpleMetaTrapo.t -> ('q, 'a) t -> ('q, 'a) t -> int

Sourceval single : ('q, 'a) SimpleMetaTrapo.t -> 'a -> ('q, 'a) t

val compose : 
  ('q, 'a) SimpleMetaTrapo.t ->
  ('q, 'a) t ->
  ('q, 'a) t ->
  ('q, 'a) t

Sourceval is_idempotent : ('q, 'a) SimpleMetaTrapo.t -> ('q, 'a) t -> bool

val image : 
  ('q, 'a) SimpleMetaTrapo.t ->
  ('q, 'a) t ->
  'q Tcsbasedata.Iterators.iterator ->
  'q Tcsset.TreeSet.t

val preimage : 
  ('q, 'a) SimpleMetaTrapo.t ->
  ('q, 'a) t ->
  'q Tcsset.TreeSet.t ->
  'q Tcsset.TreeSet.t

Sourceval epsilon : ('q, 'a) SimpleMetaTrapo.t -> ('q, 'a) t

val good_states : 
  ('q, 'a) SimpleMetaTrapo.t ->
  ('q, 'a) t ->
  'q Tcsset.TreeSet.t