Return a floating‐point sort of width 32.

Synopsis

Declared in <llvm/Support/SMTAPI.h>

virtual
SMTSortRef
getFloat32Sort() = 0;

Return Value

A 32‐bit floating‐point sort.

Created with MrDocs