Module paths 

This file contains the definitions of steady error paths that are used in the symbolic model checker (ZCS model checker).

Structs

SteadyErrorPath

Type that represents a steady error path

SteadyPath

Type that represents a steady path

VariableAssignment

Type that represents a variable assignment

Enums

VariableAssignmentError

Custom Error type to indicate an error when operating on a VariableAssignment