Module cp_solver

Constraint propagator/solver for custom PhysicalExpr graphs.

Structs

• ExprIntervalGraph
  This object implements a directed acyclic expression graph (DAEG) that is used to compute ranges for expressions through interval arithmetic.
• ExprIntervalGraphNode
  This is a node in the DAEG; it encapsulates a reference to the actual PhysicalExpr as well as an interval containing expression bounds.

Enums

• PropagationResult
  This object encapsulates all possible constraint propagation results.

Functions

• propagate_arithmetic
  This function refines intervals left_child and right_child by applying constraint propagation through parent via operation. The main idea is that we can shrink ranges of variables x and y using parent interval p.
• propagate_comparison
  This function refines intervals left_child and right_child by applying comparison propagation through parent via operation. The main idea is that we can shrink ranges of variables x and y using parent interval p. Two intervals can be ordered in 6 ways for a Gt > operator: