Creates a floating‐point addition operation

Synopsis

Declared in <llvm/Support/SMTAPI.h>

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

Return Value

An SMT expression for floating‐point addition.

Parameters

Name

Description

LHS

Left‐hand floating‐point operand.

RHS

Right‐hand floating‐point operand.

Created with MrDocs