A constraint row

Usage

constraint(f, set, over = list())

f: The constrained expression node.
set: The constraint set f must lie in (zero(), nonneg(), indicator()).
over: Quantifier bindings, a list of list(idx, set_ref) pairs (list() for a single scalar row).