| ------------------------------------------------------------------------------ |
| ------------------------------------------------------------------------------ |
| -- - Author: Roberto Cavada |
| -- - Version: 0.1 |
| -- - Date: 2011/09/16 |
| ------------------------------------------------------------------------------ |
| -- - varout: the output variable |
| -- - min_value: the minimal value of non determinism |
| -- - max_value: the maximal value of non determinism |
| ------------------------------------------------------------------------------ |
| ------------------------------------------------------------------------------ |
| |
| next(varout) >= min_value & next(${counter_max}) <= max_value |