C++ Reference: class SquarePropagator

Note: 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: AffineExpression x, AffineExpression s, IntegerTrail* integer_trail