package TCSLib

You can search for identifiers within the package.

in-package search v0.2.0

On This Page

Parameters
Signature

package TCSLib

TCSLib
- FMap
  - Make
    
    Ord
  - OrderedType
  - S
- FSet
  - Make
    
    Ord
  - OrderedType
  - S
- Tcsargs
  - CustomArgs
  - SimpleArgs
- Tcsarray
- Tcsautohelper
- Tcsautomata
  - Alphabet
  - DBA
  - DBVPA
  - DMA
  - DMVPA
  - DPA
  - DPVPA
  - NBA
  - NBVPA
  - NMA
  - NMAFunctions
  - NMVPA
  - NMVPAFunctions
  - NPA
  - NPAFunctions
  - NPVPA
- Tcsautomatalexer
- Tcsautomataparser
- Tcsautomataparserinternal
- Tcsautoparser
- Tcsautotransform
  - DBAtoDPA
  - DBAtoNBA
  - DBAtoNPA
  - DPAtoNBA
  - DPAtoNPA
  - GoodForGamesNBAtoNPA
  - NBAtoDPA
  - NBAtoNPA
  - NPAtoDPA
  - NPAtoNBA
  - NcoBAtoComplementDBA
- Tcsbasedata
  - Bits
  - CompRef
  - Comparators
  - Domain
  - Enumerators
  - Formators
  - Iterators
  - OptionUtils
  - Triple
  - Tuple
  - UniqueIntegerAssignment
- Tcscache
- Tcsctlstarformula
- Tcsformulalexer
- Tcsformulaparse
- Tcsformulaparser
- Tcsgameparser
- Tcsgameparserinternal
- Tcsgames
- Tcsgraph
- Tcslist
  - IntListUtils
  - ListUtils
- Tcslmmcformula
- Tcsltlformula
- Tcsltmcformula
- Tcsltslexer
- Tcsltsparser
- Tcsmaths
  - BigFloat
  - BigInt
  - FloatUtils
  - IntUtils
  - MathField
  - RandomUtils
- Tcsmessage
  - MessageChannel
- Tcsmetaformula
- Tcsmmcformula
- Tcsparitygamelexer
- Tcsparitygameparser
- Tcsparitysolutionlexer
- Tcsparitysolutionparser
- Tcspdlformula
- Tcsqueue
  - QueueUtils
  - SingleOccQueue
- Tcsset
- Tcsstats
  - CustomStats
- Tcsstrings
  - StringUtils
- Tcstiming
- Tcstransitionsys
- Tcstransitionsysparser
- Tcstransitionsysparserinternal
- Tcstslexer
- Tcstsparser

Legend:
Library
Module
Module type
Parameter
Class
Class type

Functor returning a finite set module over a totally ordered type.

Parameters

module Ord : OrderedType

Signature

type elt = Ord.t

The element type.

type t

The type of finite sets over type elt.

val size : t -> int

Returns the number of elements in a set.

val cardinal : t -> int

Returns the number of elements in a set (same as size).

Set comparison

val equal : t -> t -> bool

Tests whether two sets contain the same elements.

val compare : t -> t -> int

Defines a total ordering on sets.

val subset : t -> t -> bool

subset s1 s2 tests whether s1 is a subset of the set s2.

Set construction

val empty : t

The empty set.

val singleton : elt -> t

singleton x returns the one-element set containing only x.

val add : elt -> t -> t

add x s returns the union of the set s and the one-element set containing only x.

val remove : elt -> t -> t

remove x s returns the difference of the set s and the set containing only x.

val union : t -> t -> t

union s1 s2 returns the union of the sets s1 and s2.

val inter : t -> t -> t

inter s1 s2 returns the intersection of the sets s1 and s2.

val diff : t -> t -> t

diff s1 s2 returns the difference of the sets s1 and s2.

Iterators

val iter : (elt -> unit) -> t -> unit

iter f s applies f to all elements of the set s. The elements of s are processed in increasing order.

val rev_iter : (elt -> unit) -> t -> unit

rev_iter f s applies f to all elements of the set s. The elements of s are processed in decreasing order.

val fold : (elt -> 'a -> 'a) -> t -> 'a -> 'a

fold f s a returns (f an ... (f a2 (f a1 a)) ... ), where a1, ..., an are the elements of s in increasing order.

val rev_fold : (elt -> 'a -> 'a) -> t -> 'a -> 'a

rev_fold f s a returns (f a1 ... (f a(n-1) (f an a)) ... ), where a1, ..., an are the elements of s in increasing order.

val map : (elt -> elt) -> t -> t

map f s returns a set with elements f a1, ... f an, where a1, ..., an are the elements of the set s.

Filters

val filter : (elt -> bool) -> t -> t

filter p s returns a set containing all elements of the set s that satisfy the predicate p.

val partition : (elt -> bool) -> t -> t * t

partition p s returns a pair (s1, s2) of sets, such that s1 contains the elements of s that satisfy the predicate p, and s2 contains the elements of s that do not satisfy the predicate p.

val split : elt -> t -> t * bool * t

split x s returns a triple (l, present, r), where l is the set of elements of s that are strictly less than x, r is the set of elements of s that are strictly greater than x, and present is true if s contains an element equal to x and false otherwise.

Scanning

val is_empty : t -> bool

Tests whether a set is empty.

val for_all : (elt -> bool) -> t -> bool

for_all p s returns true if p a = true for all elements a of the set s, and false otherwise.

val exists : (elt -> bool) -> t -> bool

for_all p s returns true if p a = true for some element a of the set s, and false otherwise.

Searching

val mem : elt -> t -> bool

mem x s test whether the set s contains the element x.

val choose : t -> elt

Returns an element of a set. It is unspecified how the element is chosen, but equal elements will be chosen for equal sets.

val min_elt : t -> elt option

min_elt s returns Some x if x is the minimum element of s, or None if s is empty.

val max_elt : t -> elt option

max_elt s returns Some x if x is the maximum element of s, or None if s is empty.

Conversion

val to_list : t -> elt list

Returns a list containing the elements of a set in increasing order.

val of_list : elt list -> t

Returns a set containing the elements of a list.

val elements : t -> elt list

Returns a list containing the elements of a set in increasing order (same as to_list).