635 |
sat2_test: rho > sat.rhog; |
sat2_test: rho > sat.rhog; |
636 |
END CONDITIONAL; |
END CONDITIONAL; |
637 |
|
|
638 |
|
issat1 IS_A boolean_var; |
639 |
|
sat1_expr: issat1 == SATISFIED(sat1_test); |
640 |
|
issat2 IS_A boolean_var; |
641 |
|
sat2_expr: issat1 == SATISFIED(sat2_test); |
642 |
issat IS_A boolean_var; |
issat IS_A boolean_var; |
643 |
saturation_expr: issat == SATISFIED(sat1_test); |
saturation_expr: issat == issat1 OR issat2; |
644 |
issub IS_A boolean_var; |
issub IS_A boolean_var; |
645 |
subcooled_expr: issub == SATISFIED(sub_test); |
subcooled_expr: issub == SATISFIED(sub_test); |
646 |
issuper IS_A boolean_var; |
issuper IS_A boolean_var; |