ModalTank

ModalModel_1_2model <h2>empty</h2><table border="1"><tr><td><b>Parameter</b></td><td><b>Expression</b></td><td><b>Value</b></td></tr><tr><td>refinementName</td><td>empty</td><td>empty</td></tr><tr><td>isInitialState</td><td>false</td><td>false</td></tr><tr><td>isFinalState</td><td>false</td><td>false</td></tr></table> <h2>full</h2><table border="1"><tr><td><b>Parameter</b></td><td><b>Expression</b></td><td><b>Value</b></td></tr><tr><td>refinementName</td><td>full</td><td>full</td></tr><tr><td>isInitialState</td><td>false</td><td>false</td></tr><tr><td>isFinalState</td><td>false</td><td>false</td></tr></table> <h2>normal</h2><table border="1"><tr><td><b>Parameter</b></td><td><b>Expression</b></td><td><b>Value</b></td></tr><tr><td>refinementName</td><td>normal</td><td>normal</td></tr><tr><td>isInitialState</td><td>true</td><td>true</td></tr><tr><td>isFinalState</td><td>false</td><td>false</td></tr></table>