private void comboBoxConstraints_SelectedIndexChanged(object sender, EventArgs e)
        {
            labelInformation.Text = "";
            String selectedText = comboBoxConstraints.Text;

            this.CSPConstraintDataGridView1.clearRows();
            if (comboBoxConstraints.SelectedIndex != -1)
            {
                CSPConstraint selectedConstraint = controller.getConstraints()[comboBoxConstraints.SelectedIndex];
                labelInformation.Text = selectedConstraint.getConstraintInformationSummary();

                CSPConstraintDataGridView1.resetTypedExpressions();

                for (int i = 0; i < selectedConstraint.Signature.Count; i++)
                {
                    this.CSPConstraintDataGridView1.addRow("", selectedConstraint.Signature[i] + " // " + selectedConstraint.SignatureInformation[i]);
                }


                if (selectedConstraint.UserDefined)
                {
                    this.buttonDeleteConstraint.Enabled          = true;
                    this.buttonEditUserDefinedConstraint.Enabled = true;
                }
                else
                {
                    this.buttonDeleteConstraint.Enabled          = false;
                    this.buttonEditUserDefinedConstraint.Enabled = false;
                }
            }
        }
        private void initializeDialog(CSPConstraint existingConstraint)
        {
            String[] splitted = existingConstraint.getConstraintInformationSummary().Split("\r\n".ToCharArray());
            this.textBoxInformation.Text = splitted[splitted.Length - 1];

            this.textBoxName.Text = existingConstraint.Name;

            foreach (String adornment in existingConstraint.adornments)
            {
                adornmentDataGridView.addValue(adornment);
            }

            foreach (String modelgenAd in existingConstraint.modelgenAdornments)
            {
                modelgenAdornmentDataGridView.addValue(modelgenAd);
            }


            for (int i = 0; i < existingConstraint.Signature.Count; i++)
            {
                parameterDataGridView.addValue(new String[] { existingConstraint.Signature[i], existingConstraint.SignatureInformation[i] });
            }
        }