Term.Equality Operator

Solver Foundation 3.0

[This documentation is for preview only, and is subject to change in later releases. Blank topics are included as placeholders.]

Tests a term and an object for equality.

This member is overloaded. For complete information about this member, including syntax, usage, and examples, click a name in the overload list.

  Name Description
Public operator Static member Equality(String, Term) Tests a string and a term for equality.
Public operator Static member Equality(Term, Term) Tests two terms for equality.
Public operator Static member Equality(Term, String) Tests a term and string for equality.
Top
Show: