private void removeVariableNodeContainersAndConstraints(
final VariableNode variableNode, final ConstraintNetworkView constraintNetworkView) {
constraintNetworkView.setStartTimeMSecs(System.currentTimeMillis());
boolean areLinksChanged = constraintNetworkView.removeContainerToVariableLinks(variableNode);
boolean areNodesChanged = constraintNetworkView.removeConstraintNodes(variableNode);
if (areNodesChanged || areLinksChanged) {
constraintNetworkView.setLayoutNeeded();
constraintNetworkView.setFocusNode(variableNode);
constraintNetworkView.redraw(true);
}
setPen(new JGoPen(JGoPen.SOLID, 1, ColorMap.getColor("black")));
} // end removeVariableNodeTokensAndConstraints
private void removeConstraintNodeVariables(
ConstraintNode constraintNode, ConstraintNetworkView constraintNetworkView) {
constraintNetworkView.setStartTimeMSecs(System.currentTimeMillis());
boolean areLinksChanged = constraintNetworkView.removeConstraintToVariableLinks(constraintNode);
boolean areNodesChanged = constraintNetworkView.removeVariableNodes(constraintNode);
if (areNodesChanged || areLinksChanged) {
constraintNetworkView.setLayoutNeeded();
constraintNetworkView.setFocusNode(constraintNode);
constraintNetworkView.redraw();
}
setPen(new JGoPen(JGoPen.SOLID, 1, ColorMap.getColor("black")));
} // end addConstraintnodeVariablesConstraints
protected void addVariableNodeContainersAndConstraints(
final VariableNode variableNode,
final ConstraintNetworkView constraintNetworkView,
final boolean doRedraw) {
constraintNetworkView.setStartTimeMSecs(System.currentTimeMillis());
boolean areNodesChanged = constraintNetworkView.addConstraintNodes(variableNode);
boolean areLinksChanged =
constraintNetworkView.addContainerAndConstraintToVariableLinks(variableNode);
if (doRedraw && (areNodesChanged || areLinksChanged)) {
constraintNetworkView.setLayoutNeeded();
constraintNetworkView.setFocusNode(variableNode);
constraintNetworkView.redraw(true);
}
int penWidth = partialPlanView.getOpenJGoPenWidth(partialPlanView.getZoomFactor());
setPen(new JGoPen(JGoPen.SOLID, penWidth, ColorMap.getColor("black")));
}
