package fadecider

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

Module Cachedtaggedtrapo.CachedTaggedTrapoSource

Sourcetype ('p, 'r, 's, 'a) s
Sourceval make : ('q, 'a, 'x, 'y, 'p, 'r, 's) Taggedtrapo.MetaTaggedTrapo.t -> 's -> ('p, 'r, 's, 'a) s
Sourceval format : ('q, 'a, 'x, 'y, 'p, 'r, 's) Taggedtrapo.MetaTaggedTrapo.t -> ('q, 'a, 'x, 'y) Cachedtrapo.CachedTrapo.s -> ('p, 'r, 's, 'a) s -> int -> string
Sourceval format_word : ('q, 'a, 'x, 'y, 'p, 'r, 's) Taggedtrapo.MetaTaggedTrapo.t -> ('q, 'a, 'x, 'y) Cachedtrapo.CachedTrapo.s -> ('p, 'r, 's, 'a) s -> int -> string
Sourceval decoration : ('p, 'r, 's, 'a) s -> int -> 'p * 'r * int * 'p * 's
Sourceval get_word : ('p, 'r, 's, 'a) s -> int -> 'a Tcsautomata.Alphabet.word
Sourceval single : ('q, 'a, 'x, 'y, 'p, 'r, 's) Taggedtrapo.MetaTaggedTrapo.t -> ('q, 'a, 'x, 'y) Cachedtrapo.CachedTrapo.s -> ('p, 'r, 's, 'a) s -> 'a -> 'p -> 'r -> 'p -> 's -> int
Sourceval is_idempotent : ('q, 'a, 'x, 'y, 'p, 'r, 's) Taggedtrapo.MetaTaggedTrapo.t -> ('q, 'a, 'x, 'x) Cachedtrapo.CachedTrapo.s -> ('p, 'r, 's, 'a) s -> int -> bool
Sourceval image : ('q, 'a, 'x, 'y, 'p, 'r, 's) Taggedtrapo.MetaTaggedTrapo.t -> ('q, 'a, 'x, 'y) Cachedtrapo.CachedTrapo.s -> ('p, 'r, 's, 'a) s -> int -> ('q * 'x) Tcsbasedata.Iterators.iterator -> ('q * 'y) Tcsset.TreeSet.t
Sourceval preimage : ('q, 'a, 'x, 'y, 'p, 'r, 's) Taggedtrapo.MetaTaggedTrapo.t -> ('q, 'a, 'x, 'y) Cachedtrapo.CachedTrapo.s -> ('p, 'r, 's, 'a) s -> int -> ('q * 'y) Tcsset.TreeSet.t -> ('q * 'x) Tcsset.TreeSet.t
Sourceval compose_by_composer : ('q, 'a, 'x, 'y, 'p, 'r, 's) Taggedtrapo.MetaTaggedTrapo.t -> ('p, 'r, 's, 'a) s -> ('p, 'ss, 't, 'a) s -> ('p, 'r, 't, 'a) s -> (int -> int -> int) -> int -> int -> int
Sourceval compose : ('q, 'a, 'x, 'y, 'p, 'r, 's) Taggedtrapo.MetaTaggedTrapo.t -> ('q, 'a, 'yy, 'z, 'p, 'ss, 't) Taggedtrapo.MetaTaggedTrapo.t -> ('q, 'a, 'x, 'y) Cachedtrapo.CachedTrapo.s -> ('q, 'a, 'yy, 'z) Cachedtrapo.CachedTrapo.s -> ('q, 'a, 'x, 'z) Cachedtrapo.CachedTrapo.s -> ('p, 'r, 's, 'a) s -> ('p, 'ss, 't, 'a) s -> ('p, 'r, 't, 'a) s -> ('y -> 'yy) -> int -> int -> int
Sourceval compose_right_by_composer : ('q, 'a, 'y, 'z, 'p, 's, 't) Taggedtrapo.MetaTaggedTrapo.t -> ('p, 's, 't, 'a) s -> ('p, unit, unit, 'a) s -> (int -> int -> int) -> int -> int -> int
Sourceval compose_right : ('q, 'a, 'y, 'z, 'p, 's, 't) Taggedtrapo.MetaTaggedTrapo.t -> ('q, 'a, unit, unit, 'p, unit, unit) Taggedtrapo.MetaTaggedTrapo.t -> ('q, 'a, 'y, 'z) Cachedtrapo.CachedTrapo.s -> ('q, 'a, unit, unit) Cachedtrapo.CachedTrapo.s -> ('p, 's, 't, 'a) s -> ('p, unit, unit, 'a) s -> int -> int -> int
Sourceval collapse_right : ('q, 'a, 'y, 'z, 'p, 's, 't) Taggedtrapo.MetaTaggedTrapo.t -> ('q, 'a, 'y, unit, 'p, 's, unit) Taggedtrapo.MetaTaggedTrapo.t -> ('q, 'a, 'y, 'z) Cachedtrapo.CachedTrapo.s -> ('p, 's, 't, 'a) s -> ('q, 'a, 'y, unit) Cachedtrapo.CachedTrapo.s -> ('p, 's, unit, 'a) s -> int -> int
Sourceval project_left : ('q, 'a, 'y, 'z, 'p, 's, 't) Taggedtrapo.MetaTaggedTrapo.t -> ('q, 'a, 'y, 'z) Cachedtrapo.CachedTrapo.s -> ('p, 's, 't, 'a) s -> ('q, 'a, unit, 'z) Cachedtrapo.CachedTrapo.s -> ('p, unit, 't, 'a) s -> int -> 'y -> 's -> int option