## On this page

  

 

 # 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](/sites/default/files/git_ansys/scade_one_library_2025_r2_1/check__impliescond_00.svg)

## Interface

NameKindTypeCommentpIboolFirst input propertyqIboolSecond input propertycIboolInput conditionpropOboolValue of the property**Constraint**: The ratio period / timeSample must be greater than 2.

**Parent topic:**[Check](./check.md)