E | |
| Expr |
Types of expressions and comparisons.
|
| Exprtools |
Some basic tools to work with expressions.
|
I | |
| IMap [Tools] |
Implementation of maps with integer keys.
|
| ISSet [Tools] |
Implementation of sets of sets of integers.
|
| ISet [Tools] |
Implementation of sets of integers.
|
M | |
| MSet [Tools] |
Implementation of sets of maps with integer keys.
|
P | |
| Petri |
Module for Petri Automata.
|
| PrintPetri |
Printing Automata.
|
S | |
| SISet [Tools] |
Implementation of sets of pairs of a sting and an integer.
|
| Solve |
Functions for processing equations.
|
T | |
| Tools |
Tools to be used in the project.
|
| TrSet [Tools] |
Sets of transitions, as triples.
|
| Trans [Tools] |
Sets of petri transitions.
|
W | |
| Word |
Converting a series of transitions into a word, and printing it.
|