C++ Reference: class SquarePropagator

This documentation is automatically generated.

Propagates x * x = s. TODO(user): Only works for x nonnegative.
Method
Propagate

Return type: bool

RegisterWith

Return type: void

Arguments: GenericLiteralWatcher* watcher

SquarePropagator

Arguments: IntegerVariable x, IntegerVariable s, IntegerTrail* integer_trail