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 |