可逆类是指 CP Optmizer 在回溯时会自动恢复数据成员。

只使用可逆类的对象称为可逆对象。

所有 CP 优化器对象都是可逆对象。

因此，当 CP 优化器回溯时，CP 优化器变量的状态，包括它们的域和发布在它们上面的约束条件，都会自动恢复。

只使用可逆赋值的函数称为可逆函数。

除非另有说明，否则所有 CP 优化器函数和成员函数都是可逆函数。

特别是，CP 优化器中用于发布约束条件的所有成员函数和预定义函数都是可逆的。 因此，当 CP 优化器回溯时，受约束变量的状态，包括它们的域和对它们的约束，都会自动恢复。 CP 优化器会保存函数调用前的状态。

更多信息，请参阅CP 优化器中的传播和CP 优化器中的状态概念。

另请参阅

IlcConstraint