Verify Operation (ESDL Editor)

The verify(); operation is used to check if the original and the complement of an element marked as redundant are consistent. The operation returns a Boolean value.

You can verify scalar, array, and matrix elements marked as redundant. The verify operation can be used wherever a Boolean is accepted, e.g.,

myBooleanResult = myRedundantElement.verify();

if (myRedundantElement.verify()) { ... }

...

See Code Generation with Redundant Data Storage for examples of verify(); in assignments.

Note
You must apply the verify(); operation only to an element marked as redundant. If you apply the verify(); operation to a non-redundant element, an error is issued during code generation: MMdl371 - verify operator can only be used on model identifier with redundant flag set

Note

You must apply the verify(); operation only to an element marked as redundant. If you apply the verify(); operation to a non-redundant element, an error is issued during code generation:

MMdl371 - verify operator can only be used on model identifier with redundant flag set