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: