| ------------------------------------------------------------------------------ |
| ------------------------------------------------------------------------------ |
| -- - Author: Anthony Fernandes Pires |
| -- - Version: 0.1 |
| -- - Date: 2014/09/10 |
| ------------------------------------------------------------------------------ |
| -- - varout: the output variable |
| -- - then_term: the value if the condition at the entrance is true. Can be a constant or a variable. |
| -- - else_term: the value if the condition at the entrance is false. Can be a constant or a variable. |
| ------------------------------------------------------------------------------ |
| ------------------------------------------------------------------------------ |
| |
| next(varout) = (CONDITION_AT_ENTRANCE ? then_term: else_term) |