Skip to main content

UniformRegionTerminatorOpInterface

Trait UniformRegionTerminatorOpInterface 

Source
pub trait UniformRegionTerminatorOpInterface: Op + RegionBranchTerminatorOpInterface {
    // Required method
    fn successor_region_uniformity(
        &self,
        ctx: &Context,
        operands: &[Uniformity],
    ) -> Vec<Uniformity>;

    // Provided methods
    fn verify(_op: &dyn Op, _ctx: &Context) -> Result<()>
       where Self: Sized { ... }
    fn all_successor_regions(&self, ctx: &Context) -> Vec<RegionSuccessor> { ... }
}

Required Methods§

Source

fn successor_region_uniformity( &self, ctx: &Context, operands: &[Uniformity], ) -> Vec<Uniformity>

Provided Methods§

Source

fn verify(_op: &dyn Op, _ctx: &Context) -> Result<()>
where Self: Sized,

Source

fn all_successor_regions(&self, ctx: &Context) -> Vec<RegionSuccessor>

Trait Implementations§

Dyn Compatibility§

This trait is dyn compatible.

In older versions of Rust, dyn compatibility was called "object safety".

Implementors§