Definite Function

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.
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