data structures and software dependability
computer science department
brandenburg university of technology cottbus - senftenberg
Summary:
Checkbox "dependent sets" is always enabled
Created:
2011-04-08 17:46
Status:
Closed
Category:
Bug
Assigned:
Priority:
4
Program:
Charlie
Version:
Description:
The checkbox for dependent sets is always enabled as soon as there is a Petri net file loaded. Dependent sets however are only computed when an invariant is computed.
The checkbox for dependent sets is always enabled as soon as there is a Petri net file loaded. Dependent sets however are only computed when an invariant is computed.
Please disable the checkbox as long as no invariant shall be computed, i.e., if either the computation for the "rank theorem" or the computation for checking the structural boundedness is selected, then disable the checkbox (and the button for the options for computing the dependent sets).
Comments
There are also some capital/small letters errors that are already corrected. Furthermore it should be "export cads to file" instead of "export cads file" (or all the others exports should be changed as well).
<< 00013 | CharlieBugList | 00015 >>