Stay organized with collections
Save and categorize content based on your preferences.
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 |
Except as otherwise noted, the content of this page is licensed under the Creative Commons Attribution 4.0 License, and code samples are licensed under the Apache 2.0 License. For details, see the Google Developers Site Policies. Java is a registered trademark of Oracle and/or its affiliates.
Last updated 2024-08-06 UTC.
[null,null,["Last updated 2024-08-06 UTC."],[],["`BooleanXorPropagator` propagates that a XOR of literals equals a given value with O(n) complexity. It uses methods like `Propagate` to return a boolean and `RegisterWith` to interact with a `GenericLiteralWatcher`. The constructor `BooleanXorPropagator` takes a vector of literals, a boolean value, a `Trail`, and an `IntegerTrail`. There is a proposed enhancement to implement a two-watcher mechanism to accelerate the propagation.\n"],null,[]]
