if (defaultCircuit != null) {
name.setText(defaultCircuit.getName());
name.selectAll();
}
VariableList outputs = model.getOutputs();
boolean enableNands = true;
for (int i = 0; i < outputs.size(); i++) {
String output = outputs.get(i);
Expression expr = model.getOutputExpressions().getExpression(output);
if (expr != null && expr.containsXor()) { enableNands = false; break; }
}
nands.setEnabled(enableNands);