Creates a bitvector unsigned division operation

Synopsis

Declared in <llvm/Support/SMTAPI.h>

virtual
SMTExprRef
mkBVUDiv(
    SMTExprRef const& LHS,
    SMTExprRef const& RHS) = 0;

Return Value

An SMT expression for unsigned bitvector division.

Parameters

Name

Description

LHS

Left‐hand bitvector operand.

RHS

Right‐hand bitvector operand.

Created with MrDocs