Skip to content

Commit 149d0e5

Browse files
committed
Update coconet guide
1 parent 5d106d3 commit 149d0e5

File tree

1 file changed

+6
-1
lines changed

1 file changed

+6
-1
lines changed

coconet_guide.html

Lines changed: 6 additions & 1 deletion
Original file line numberDiff line numberDiff line change
@@ -189,6 +189,7 @@ <h4>Delete network and layers</h4></br>
189189
all the subsequent layers.</br>
190190
For clearing the workspace and deleting the whole network, it is possible to use the corresponding menu voice
191191
in the <i>Edit</i> tab or with the <i>Ctrl+Shift+C</i> keyboard shortcut.
192+
192193
</p>
193194
</div>
194195
</div>
@@ -217,6 +218,9 @@ <h4>Property templates</h4></br>
217218
<ul>
218219
<li>A <i>Generic SMT</i> property, that is used to write in plain SMT-LIB</li>
219220
<li>A <i>Polyhedral</i> property, that provides a controlled environment for bounding input or output variables</li>
221+
<li>A <i>Box</i> property, that provides a way to define all the lower and upper bounds for the variables</li>
222+
<li>A <i>Classification</i> property, only for the output node, that provides a way to specifying whether an output
223+
variable should be minimized or maximized</li>
220224
</ul>
221225
Each property opens a dialog to define and validate the property. The <i>Generic SMT</i> property dialog is simply a
222226
text area to write on.
@@ -231,7 +235,8 @@ <h4>Property templates</h4></br>
231235

232236
<h4>Property blocks</h4></br>
233237
When the properties are defined, a corresponding block is displayed, attached to the input or output block. The
234-
<i>Edit</i> button allows to modify the content of the property, but not to change the property type.
238+
<i>Edit</i> button allows to modify the content of the property, while to change the property type it is required
239+
to select a new property from the output block combo box.
235240
<div class="text-center">
236241
<img class="img-tutorial-full" src="assets/img/tutorials/coconet/properties.png"></img>
237242
</div>

0 commit comments

Comments
 (0)