Term.Equality Operator (Term, Term)
[This documentation is for preview only, and is subject to change in later releases. Blank topics are included as placeholders.]
Tests two terms for equality.
Assembly: Microsoft.Solver.Foundation (in Microsoft.Solver.Foundation.dll)
'Declaration Public Shared Operator = ( _ left As Term, _ right As Term _ ) As Term
public static Term operator ==( Term left, Term right )
public: static Term^ operator ==( Term^ left, Term^ right )
static let inline (=) left:Term * right:Term : Term
JScript does not support overloaded operators.
The first term.
The second term.
1 if left and right are equal; otherwise, 0.
.NET Framework Security
- Full trust for the immediate caller. This member cannot be used by partially trusted code. For more information, see Using Libraries from Partially Trusted Code.