Module zcs_error_graph 

This module contains the symbolic error graph (ZCS error graph) for a given property and a 01-CS (ZCS).

Modules

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

ZCSErrorGraph

Type representing a symbolic error graph (ZCS error graph)