pub fn jump_if(
        &self,
        condition: Var,
        then_block: &Block,
        else_block: &Block,
    ) -> Result<(), Error> {
        let condition = self.read(condition)?;

        self.mark_control(then_block)?;
        self.mark_control(else_block)?;

        *self.inner.term.borrow_mut() = Term::JumpIf {
            condition,
            then_block: then_block.id(),
            else_block: else_block.id(),
        };

        Ok(())
    }
/// Perform a conditional jump to the given block with the specified inputs
/// if the given condition is true.
Perform a conditional jump to the given block with the specified inputs
if the given condition is true.
Perform a conditional jump to the given block with the specified inputs if the given condition is true .
pub fn jump_if(
        &self,
        condition: Var,
        then_block: &Block,
        else_block: &Block,
    ) -> Result<(), Error> {
        let condition = self.read(condition)?;
        self.mark_control(then_block)?;
        self.mark_control(else_block)?;
        *self.inner.term.borrow_mut() = Term::JumpIf {
            condition,
            then_block: then_block.id(),
            else_block: else_block.id(),
        };
        Ok(())
    }
pub fn jump_if ( & self , condition : Var , then_block : & Block , else_block : & Block , ) -> Result < ( ) , Error > { let condition = self . read ( condition ) ? ; self . mark_control ( then_block ) ? ; self . mark_control ( else_block ) ? ; * self . inner . term . borrow_mut ( ) = Term :: JumpIf { condition , then_block : then_block . id ( ) , else_block : else_block . id ( ) , } ; Ok ( ( ) ) }
Perform a conditional jump to the given block with the specified inputs
if the given condition is true.
Perform a conditional jump to the given block with the specified inputs if the given condition is true .
&self
condition
Var
then_block
&Block
else_block
&Block
&self
condition
Var
then_block
&Block
else_block
&Block