VarD0Equality Operator

Overload List

Equality(Sca, VarD0) Creates a constraint expression where lhs = rhs.

Note that a constraint is composed of a constraint expression and forall sets expression.

C#
ConstraintExpr expr =             y[i] == 0;
Constraint     con  = forall(i) | y[i] == 0;
Equality(VarD0, Sca) Creates a constraint expression where lhs = rhs.

Note that a constraint is composed of a constraint expression and forall sets expression.

C#
ConstraintExpr expr =             y[i] == 0;
Constraint     con  = forall(i) | y[i] == 0;
Equality(VarD0, VarD0) Creates a constraint expression where lhs = rhs.

Note that a constraint is composed of a constraint expression and forall sets expression.

C#
ConstraintExpr expr =                x[i, j] == y[i];
Constraint     con  = forall(i, j) | x[i, j] == y[i];

See Also