11、约束编程相关技术与算法解析

约束编程相关技术与算法解析

1. 引言

在约束编程领域，有两个重要的方面值得关注。一是关于使用 Java 进行约束编程的 Cream 类库以及作为 OpenOffice.org Calc 插件开发的 Calc/Cream 约束电子表格系统。二是针对累积资源约束的过载检查算法，这在基于约束的调度中具有重要意义。

2. Calc/Cream 约束电子表格系统

Calc/Cream 系统中包含了用于操作的宏代码，以下是相关宏代码及解释：

Sub CStartButton
    # Create UNO service to use Cream
    CreateUnoService(JAVA_SERVICE)
    object_cream = CreateUnoService(CREAM_SERVICE)
    # Scan spreadsheet and add constraints
    Dim sheetIndex(0) As Object
    sheetIndex() = Array(0, 1, 2)
    object_cream.CScanDocument(ThisComponent, sheetIndex())
    # Start Cream solver
    If Not object_cream.CStart() Then
        MsgBox "No Solutions !!"
    EndIf
End Sub

Sub CNextButton
    CreateUnoService(JAVA_SERVICE)
    object_cream =