Module copper::views

Simple domain transformations to make propagators more generic.

Structs

• Context
  Wrapper around search space object to restrict exposed interface and track changes.
• Opposite
  Invert the sign of the bounds of the underlying view.
• Plus
  Add a constant offset to the underlying view.
• TimesPos
  Scale the underlying view by a strictly positive constant factor.

Enums

• Times
  Scale the underlying view by a constant factor.

Traits

• View
  Apply simple domain transformations on the fly to make propagators more generic.
• ViewExt
  Extension trait to provide helper methods on views.

Type Aliases

• TimesNeg
  Scale the underlying view by a strictly negative constant factor.