Module builder 

Factory method to construct a symbolic error graph (ZCS error graph) for a symbolic 01-CS (ZCS) and a set of error states.

Structs

ZCSErrorGraphBuilder

Builder for constructing a symbolic error graph (ZCS error graph)