((declare (in) float a) (declare (in) float ba) (declare (in) float bb) | |
(declare (in) float ca) | |
(declare (in) float cb) | |
(function main | |
(signature void (parameters) | |
((declare (temporary) bool break_flag) | |
(assign (x) (var_ref break_flag) (constant bool (0))) | |
(loop () () () () | |
((declare (temporary) bool execute_flag) | |
(assign (x) (var_ref execute_flag) (constant bool (1))) | |
(if (expression bool > (var_ref a) (constant float (0.000000))) | |
((if (expression bool > (var_ref ba) (constant float (0.000000))) | |
((if (expression bool > (var_ref bb) (constant float (0.000000))) | |
((assign (x) (var_ref execute_flag) (constant bool (0)))) | |
())) | |
()) | |
(if (var_ref execute_flag) | |
((if (expression bool > (var_ref ca) (constant float (0.000000))) | |
((if (expression bool > (var_ref cb) (constant float (0.000000))) | |
((assign (x) (var_ref break_flag) (constant bool (1))) | |
(assign (x) (var_ref execute_flag) (constant bool (0)))) | |
())) | |
())) | |
())) | |
()) | |
(if (var_ref execute_flag) | |
((assign (x) (var_ref break_flag) (constant bool (1)))) | |
()) | |
(if (var_ref break_flag) (break) ()))))))) |