37、基于模型驱动的约束局部搜索可视化与不完整偏好软约束问题解析

基于模型驱动的约束局部搜索可视化与不完整偏好软约束问题解析

1. 模型驱动的约束局部搜索可视化

在约束局部搜索的可视化中，有一个关键步骤涉及变量显示的 overlayPairs 方法，其代码如下：

void VDisp2DS::overlayPairs(VisualPairConcept vc) {
    GraphicalArcPairs gc(vc,_Xcoords, _Ycoords);
    animate(gc,_board,_table);
}

此方法将逻辑坐标添加到标识符对和对可视化中，以创建图形概念。随后，这个图形概念会与绘图板和坐标变换器 _table 一起被传输到图形引擎，其中 _table 能够将逻辑坐标转换为表格的物理坐标。 _Xcoords 和 _Ycoords 是 VariableView 类的实例变量，而 VDisp2DS 是 VariableView 的子类。在某些情况下，如皇后问题的变量/值视图中，这些逻辑坐标会在动画过程中发生变化，不过在这个例子里，它们在动画期间是不变的。

下面是这个过程的流程图：

graph LR
    A[开始] --> B[调用 overlayPairs 方法]
    B --> C[创建