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 ==( Sca lhs, VarD0 rhs )
In This Article