Contains data structures for TAVI. Classes in this package construct TAVI's data structure: Graph which contains servers and their tflow's. Transactions and variables are also here in this package.

There is some checking for unexeptional inputs, but it's not systematically implemented in methods in this package. Therefore a developer must be aware of where a certain method is first called. The most common way is Tavi(Dialogs)/StateHandler -> Graph -> Server -> TFlow. However the basic data structures are quite easy, but the hard part is in TFlow where lots of hard counting is done while drawing.