Note that a constraint is composed of a constraint expression and forall sets expression.
ConstraintExpr expr = y[i] == 0; Constraint con = forall(i) | y[i] == 0;
public static ConstraintExpr operator ==( Var lhs, Sca rhs )
In This Article