| <?xml version="1.0" encoding="UTF-8"?> |
| |
| <!-- Author: Roberto Cavada and Cristian Mattarei and Anthony Fernandes Pires --> |
| <!-- Version: 0.2 --> |
| <!-- Date: 2014/09/24 --> |
| |
| <effects_model name="StuckAtByReference_D"> |
| <values> |
| <input reads="term" type="Any" desc="The value at which the output has to be stuck. 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/> |
| </effects_model> |
