157 |
|
|
158 |
is_lpassive[i] == SATISFIED(is_lpassive_expr[i]); |
is_lpassive[i] == SATISFIED(is_lpassive_expr[i]); |
159 |
is_lactive[i] == SATISFIED(is_lactive_expr[i]); |
is_lactive[i] == SATISFIED(is_lactive_expr[i]); |
160 |
is_lelastic[i] == NOT (is_lpassive OR is_lactive); |
is_lelastic[i] == NOT (is_lpassive[i] OR is_lactive[i]); |
161 |
|
|
162 |
lpassive_expr[i]: -Rl[i] = sigma_hdash_max[i] * B * (d[i] - d[i-1]); |
lpassive_expr[i]: -Rl[i] = sigma_hdash_max[i] * B * (d[i] - d[i-1]); |
163 |
lactive_expr[i]: -Rl[i] = sigma_hdash_min[i] * B * (d[i] - d[i-1]); |
lactive_expr[i]: -Rl[i] = sigma_hdash_min[i] * B * (d[i] - d[i-1]); |