private void listBoxConstraints_SelectedIndexChanged(object sender, EventArgs e)
{
if (listBoxConstraints.SelectedIndex != -1)
{
if (constraintInstance.createdEntries.Count == listBoxConstraints.Items.Count)
{
CSPInstanceEntry currentEntry = constraintInstance.createdEntries[listBoxConstraints.SelectedIndex];
int constraintIndex = 0;
foreach (CSPConstraint constraint in controller.getConstraints())
{
if (constraint.Name == currentEntry.constraintName)
{
break;
}
constraintIndex++;
}
if (comboBoxConstraints.Items.Count > constraintIndex)
{
this.comboBoxConstraints.SelectedIndex = constraintIndex;
int i = 0;
CSPConstraintDataGridView1.resetTypedExpressions();
foreach (Expression currentExpression in currentEntry.typedInExpressions)
{
CSPConstraintDataGridView1.addTypedExpression(currentExpression);
CSPConstraintDataGridView1.setCellValue(currentExpression.ToString(), i);
i++;
}
}
}
}
}
