Cavlnode | Type used to represent a single node in a generic AVL |
Cbarray | Type used to represent an array of Booleans |
Cbinheap | Type used to represent a binary heap |
Ccom_command | A command |
Ccom_parameters | Parameters of a command |
Ccong_sent | |
Cdcell | Type used to represent a single cell inside a doubly linked list |
Cdequeue | Type used to represent a dequeue of unsigned integers |
Cdequeue_gen | Type used to represent a generic dequeue |
Cdfa | Type used to represent a complete DFA |
Cdfa_enum | |
Cdfa_mirror_info | Represents the required information for determinization of the mirror of a DFA |
Cdgraph | Type used to represent a complete deterministic directed labeled graph |
Cdlist | Type used to represent a doubly linked list |
Cexall_profile | |
Cfiletr | |
Cfilters_info | |
Cglushkov_info | Type utilized to represent the information computed by Glushkov's algorithm from the input regular expression |
Cgraph | Type used to represent a directed unlabeled graph |
Cgreen | Type used to represent the Green relations of a finite monoid |
Chash_table | |
Chopcroft_partition | Type used to represent the state partition used in the Hopcroft algorithm |
Ckeylist | |
Cletter | The type used to represent a letter |
Clgraph | Type used to represent a directed labeled graph |
Cmccluskey_auto | Type used to represent the generalized automata used in the algorithm |
Cmorphism | The type used to represent a morphism into a finite monoid |
Cmulti_edge | Type used to represent a multi-edge in a graph |
Cnfa | Type used to represent a NFA |
Cnum_span_forest | Type used to store the information needed to solve AMT-separation on the SCCs of a dgraph |
Cob_morphism | Structure used to store a morphism and its Green relations |
Cob_prefixname | Structure used to store a variable name prefix |
Cob_recursion | Type used to represent a recursive definition of regular expressions |
Cobject | Type used to represent an object |
Corbits | Type used to represent C-orbits of a morphism |
Cparti | First type used to represent a partition. This is not the one used by Union-Find |
Cprod_pair | Type used for representing a pair of states |
Cregexp | Type used to represent a single node in a regular expression |
Cstal_sent | |
Cstring_chain | Chain of strings in a command |
Csubsemi | Type used to represent a subsemigroup and its Green relations |
Csyletter | Type used to represent a symbolic letter |
Csyvariable | Type used to represent a symbolic variable |
Cufind | Second type used to represent a partition. This is the type used by Union-Find |
Cuint_avlnode | Type used to represent a single node in a light AVL |
Cword | The type used to represent a word |