Trait hugr_core::ops::ValidateOp

source · 
pub trait ValidateOp {
    // Provided methods
    fn validity_flags(&self) -> OpValidityFlags { ... }
    fn validate_op_children<'a>(
        &self,
        _children: impl DoubleEndedIterator<Item = (NodeIndex, &'a OpType)>
    ) -> Result<(), ChildrenValidationError> { ... }
}
Expand description

Methods for Ops to validate themselves and children

Provided Methods§

source

fn validity_flags(&self) -> OpValidityFlags

Returns a set of flags describing the validity predicates for this operation.

source

fn validate_op_children<'a>( &self, _children: impl DoubleEndedIterator<Item = (NodeIndex, &'a OpType)> ) -> Result<(), ChildrenValidationError>

Validate the ordered list of children.

Object Safety§

This trait is not object safe.

Implementors§