Creates a floating‐point isNormal operation

Synopsis

Declared in <llvm/Support/SMTAPI.h>

virtual
SMTExprRef
mkFPIsNormal(SMTExprRef const& Exp) = 0;

Return Value

An SMT expression testing whether the value is normal.

Parameters

Name

Description

Exp

Floating‐point expression to test.

Created with MrDocs