Использовать функцию потолка в решении задачи фундамента?

Question

Я пытаюсь взять потолок одной из моих переменных решения, умноженных на 2,5, в моей целевой функции Solver, но функция Math.Ceiling() не может быть применена, потому что переменная foobar - это не двойное, а "термин". переменная Есть ли другой способ выразить этот код, который будет работать в Солвере?

Decision foo = new Decision(Domain.IntegerNonnegative, "bar");
model.AddDecision(foo);

model.AddGoal("foobar", GoalKind.Maximize, Math.Ceiling(2.5 * foobar));

Answer 1

Класс Model содержит большое количество статических методов, которые выполняют арифметические операции над Term объекты, а не double: S. Вы найдете большинство, если не все операции, доступные в Math учебный класс.

В частности, вы должны иметь возможность изменить свою целевую функцию для использования Model.Ceiling.