Manuals/calci/UNITSFAILTONULL

UNITSFAILTONULL

Description

• UNITSFAILTONULL will return the result as false.
• If $UNITSFAILTONULL$ is set to true, and a number does not have units that match during conversion, it is set to null.
• $UNITSFAILTONULL$ by default is set to false.
• In general, if a conversion fails, the original value with units are returned.
• This behavior can be changed so that a unit conversion if not possible, would return a null value.
• To do this, change the global variable UNITSFAILTONULL to true.

• The following will give 1m as the result.

1m<>eor

1 m

UNITSFAILTONULL=true

1m<>eor

will now give null as the result.

UNITSFAILTONULL=false

1m<>eor

1 m

will be shown as the result.

Example

1. UNITSFAILTONULL = false

See Also

• UNITS
• UNITSOF
• TOUNITS

References

• List of Main Z Functions

• Z3 home