#transition #dead #incremental #abstract #system #state #structure

bin+lib guided_digraph

用于抽象转换系统中增量活状态和死状态检测的数据结构

作者：Caleb Stanford