Creates a bitvector signed less‐than operation

Synopsis

Declared in <llvm/Support/SMTAPI.h>

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

Return Value

An SMT expression for signed bitvector less‐than.

Parameters

Name

Description

LHS

Left‐hand bitvector operand.

RHS

Right‐hand bitvector operand.

Created with MrDocs