Module finite_state_transition_system

rust_formal_verification::models

Module finite_state_transition_system 

Source
Expand description

Object for holding a finite state transition system, and performing operations like adding tags and so on.

Modules§

construction
features
getting
x_simulation

Structs§

FiniteStateTransitionSystem
Struct that describes memory layout of the finite state transition system.