| ------------------------------------------------------------------------------ |
| ------------------------------------------------------------------------------ |
| -- - Author: Anthony Fernandes Pires |
| -- - Version: 0.1 |
| -- - Date: 2014/15/10 |
| ------------------------------------------------------------------------------ |
| -- - varout_1: the output variable one |
| -- - varout_2: the output variable two |
| -- - then_term_1: the value of varout_1 if the condition at the entrance is true. Can be a constant or a variable. |
| -- - else_term_1: the value of varout_1 if the condition at the entrance is false. Can be a constant or a variable. |
| -- - then_term_2: the value of varout_2 if the condition at the entrance is true. Can be a constant or a variable. |
| -- - else_term_2: the value of varout_2 if the condition at the entrance is false. Can be a constant or a variable. |
| ------------------------------------------------------------------------------ |
| ------------------------------------------------------------------------------ |
| |
| next(varout_1) = (CONDITION_AT_ENTRANCE ? then_term_1: else_term_1) & |
| next(varout_2) = (CONDITION_AT_ENTRANCE ? then_term_2: else_term_2) |
