Guided Incremental Digraphs

A data structure for incremental live and dead state detection in an abstract transition system.