C++ Reference: class BooleanXorPropagator

Note: 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