VarEquality Operator

Overload List

Equality(Sca, Var) 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(Var, 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(Var, Var) 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];
Equality(Var, 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];
Equality(VarD0, Var) 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