23 #ifndef INCLUDED_DIGITAL_TIMING_ERROR_DETECTOR_TYPE_H 24 #define INCLUDED_DIGITAL_TIMING_ERROR_DETECTOR_TYPE_H Definition: timing_error_detector_type.h:34
Definition: timing_error_detector_type.h:33
Definition: timing_error_detector_type.h:35
Definition: timing_error_detector_type.h:32
Include this header to use the message passing features.
Definition: basic_block.h:45
Definition: timing_error_detector_type.h:37
Definition: timing_error_detector_type.h:40
Definition: timing_error_detector_type.h:39
ted_type
Definition: timing_error_detector_type.h:30
Definition: timing_error_detector_type.h:38
Definition: timing_error_detector_type.h:31
Definition: timing_error_detector_type.h:36