Function

implies(_:_:)

Performs logical implication operation on two boolean values.

func implies(_ left: any EcoreValue, _ right: any EcoreValue) throws -> EBoolean

Parameters

left: The left boolean operand (antecedent)
right: The right boolean operand (consequent)

Return Value

The logical implication of the operands

Discussion

The implication left implies right is equivalent to not left or right. It returns false only when the left operand is true and the right operand is false.