Как использовать SumInt с помощью JaCop в Java?

Я пытался научить Якопа решить мои проблемы с удовлетворением от ограничений. Я не мог найти учебники онлайн, кроме Api.

Поэтому я пытаюсь проверить, как работают его методы.

Например, при использовании SumInt. Я пытаюсь подсчитать, сколько раз число входит в список. Как я могу сделать это с помощью JaCop?

Например, если у меня есть список с этими данными: 10,20,10,30,10,50,40

Как подсчитать, сколько раз 10, 20, 30,40, 50 появилось с помощью JaCop? Это пример, который я получил со страницы Api онлайн. Но это не похоже на то, что я хочу сделать.

    Store store = new Store();
    IntVar a = new IntVar(store, "a", 1, 3); 
    IntVar b = new IntVar(store, "b", 1, 3); 
    IntVar c = new IntVar(store, "c", 1, 3); 
    IntVar sum = new IntVar(store, "sum", 1, 10); 
    IntVar[] v = {a, b, c}; 
    Constraint ctr = new SumInt(store,v, "==", sum); 
    store.impose(ctr);

1 ответ

Ты можешь использовать Count или же Among ограничение.

Другие вопросы по тегам