| Class | Description |
|---|---|
| BinaryTree |
Binary tree with support for operations on right and left leaves
|
| DispositionsGenerator | |
| ExecutionsTree |
This class is a tool to generate all the possible traces according to their
activations elements
|
| ExtendibleTrace |
A trace element that can be extended with new elements
|
| NumberSet |