| <?xml version="1.0" encoding="UTF-8"?> |
| |
| <!-- Author: Anthony Fernandes Pires --> |
| <!-- Version: 0.1 --> |
| <!-- Date: 2014/09/10 --> |
| |
| <effects_model name="Conditional_I"> |
| <values> |
| <input reads="condition" type="Boolean" desc="The condition to choose the value of the output during the fault. The value is fixed at the entrance in the fault."/> |
| <input reads="then_term" type="Any" desc="The value of the output if the condition at the entrance is true. Can be a constant or a variable."/> |
| <input reads="else_term" type="Any" desc="the value of the output if the condition at the entrance is false. Can be a constant or a variable."/> |
| <output writes="varout" reads="input" desc="The output variable name that reads on the input one"/> |
| </values> |
| <effect> |
| <entering type="smv" local="false">entering.smv</entering> |
| <during type="smv" local="false">during.smv</during> |
| </effect> |
| <raw type="smv" local="false">raw.smv</raw> |
| </effects_model> |