C++ Reference: class BooleanXorPropagator

This documentation is automatically generated.

Propagate the fact that a XOR of literals is equal to the given value. The complexity is in O(n).

TODO(user): By using a two watcher mechanism, we can propagate this a lot faster.
Method
BooleanXorPropagator

Arguments: const std::vector<Literal>& literals, bool value, Trail* trail, IntegerTrail* integer_trail

Propagate

Return type: bool

RegisterWith

Return type: void

Arguments: GenericLiteralWatcher* watcher