Skip to main content

Scade One standard libraries 2025 R2

ImpliesCond

Last update: 16.07.2025

Returns the value of q until c is true starting when p is true, otherwise true.

The following figure shows the output prop for the inputs p, q and c:

Implies Until Condition

Interface

Name Kind Type Comment
p I bool First input property
q I bool Second input property
c I bool Input condition
prop O bool Value of the property

Constraint: The ratio period / timeSample must be greater than 2.

Parent topic:Check

Connect with Ansys