M | |
| MAT [Matrix] | |
P | |
| PRIOQUEUE [Aux] |
Priority queues with minimal elements on top.
|
S | |
| S [Diagram] |
The module for ordered diagrams.
|
| S [SatSolver] | |
| S [HashCons] |
The module for hash-consing tables.
|
T | |
| Type [HashCons] |
A module used to simulate existential types.
|
V | |
| Variables [Diagram] |
Variables of the diagrams must be ordered.
|