Trait orzir::verifiers::NumSuccessors

pub trait NumSuccessors<const N: usize>: Op {
    // Provided method
    fn verify(&self, _: &Context) -> VerifyResult<()> { ... }
}

Verifier NumSuccessors for Op

A verifier indicating that the operation has exactly N successors.

Provided Methods

fn verify(&self, _: &Context) -> VerifyResult<()>

Implementors

impl NumSuccessors<1> for JumpOp

impl NumSuccessors<1> for JumoOp

impl NumSuccessors<2> for orzir::dialects::riscv::basic::BranchOp

impl NumSuccessors<2> for orzir::dialects::std::cf::BranchOp