0

Windows 8.1 の Eclipse IDE で Choco 2.1.5 を使用しています。

以下のコードをコンパイルすると：

CPModel m = new CPModel();
m.setDefaultExpressionDecomposition(false);
RealVariable A = Choco.makeRealVar("a", -5.5, 5.5);
RealVariable B = Choco.makeRealVar("b", -4.4, 4.4);
RealVariable C = Choco.makeRealVar("c", -3.3, 3.3);
m.addConstraint(Choco.or(
        Choco.eq(A, Choco.plus(B,C)),
        Choco.eq(B, Choco.plus(A,C)),
        Choco.eq(C, Choco.plus(A,B))
        ));
CPSolver solver = new CPSolver();
solver.read(m);
System.out.println(solver.solve());

次の出力が得られます。

Exception in thread "main" java.lang.UnsupportedOperationException
    at choco.kernel.solver.constraints.AbstractSConstraint.opposite(AbstractSConstraint.java:270)
    at choco.cp.solver.CPModelToCPSolver.makeSConstraintAndOpposite(CPModelToCPSolver.java:335)
    at choco.cp.solver.CPModelToCPSolver.createGenericMetaConstraint(CPModelToCPSolver.java:457)
    at choco.cp.solver.CPModelToCPSolver.createMetaConstraint(CPModelToCPSolver.java:432)
    at choco.cp.solver.CPModelToCPSolver.readModelConstraint(CPModelToCPSolver.java:353)
    at choco.cp.solver.CPModelToCPSolver.readConstraints(CPModelToCPSolver.java:292)
    at choco.cp.solver.CPSolver.read(CPSolver.java:519)
    at coverbylines.Test.main(Test.java:88)

しかし、IntegerVariables を試してみると、エラーは発生しません。問題は何でしょうか？とにかくこのあたりはありますか？

4

1 に答える 1

1

すべての制約が Choco2 で安全に具体化できるわけではなく、それらのサブセットのみが安全に具体化できます。実際の制約はそのサブセットの一部ではなく、Choco.or(...)具象化を引き起こします。Choco3を見てください。ここでは、実際の制約でさえ、制約を具体化できます (これは、サードパーティ ライブラリIbexをインストールすることを意味します)。

于 2015-10-22T15:30:32.540 に答える