3 Months Ago
Derive graphview edges to store fsm transition information directly in them