Expand description
Definitions for validating hugr nodes according to their operation type.
Adds a validity_flags method to OpType that returns a series of flags
used by the crate::hugr::validate module.
It also defines a validate_op_children method for more complex tests that
require traversing the children.
Structs§
- Children
Edge Data - Auxiliary structure passed as data to
OpValidityFlags::edge_check. - OpValidity
Flags - A set of property flags required for an operation.
Enums§
- Children
Validation Error - Errors that can occur while checking the children of a node.
- Edge
Validation Error - Errors that can occur while checking the edges between children of a node.