This article applies to:

Definite Function

Relevance:

Variable occurrences within this function do not contribute towards the overall relevance of those variables.

Consequently, such variables must occur in at least one other context for them to be considered relevant.

Description:

Test if the expression is known and true and definitely relevant.

Returns true if the expression is definitely relevant and fully evaluates to the literal value true, and returns false otherwise.

note

This function always evaluable.

Returns:

Boolean

Parameter:

Parameter	Data Type	Description
1	Boolean	The expression

Examples:

Expression	Result
Definite( Gender = "Male" ) for a male	true
Definite( Gender = "Male" ) for a female	false
Definite( Pregnant ) where Gender is unknown	false