Term Operators and Type Conversions

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

The Term type exposes the following members.

Operators

  Name Description
Public operatorStatic member Addition Adds two terms.
Public operatorStatic member BitwiseAnd Performs a bitwise AND operation on two terms.
Public operatorStatic member BitwiseOr Performs a bitwise OR operation on two terms.
Public operatorStatic member Division Divides one term by another term.
Public operatorStatic member Equality(String, Term) Tests a string and a term for equality.
Public operatorStatic member Equality(Term, Term) Tests two terms for equality.
Public operatorStatic member Equality(Term, String) Tests a term and string for equality.
Public operatorStatic member GreaterThan Tests whether one term is greater than another term.
Public operatorStatic member GreaterThanOrEqual Tests whether one term is greater than or equal to another term.
Public operatorStatic member Implicit(Boolean to Term) Converts a Boolean to a term.
Public operatorStatic member Implicit(Double to Term) Converts a Double to a term.
Public operatorStatic member Implicit(String to Term) Converts a String to a term.
Public operatorStatic member Implicit(Rational to Term) Converts a rational number to a term.
Public operatorStatic member Inequality(String, Term) Tests a string and a term for inequality.
Public operatorStatic member Inequality(Term, Term) Tests two terms for inequality.
Public operatorStatic member Inequality(Term, String) Tests a term and a string for inequality.
Public operatorStatic member LessThan Tests whether one term is less than another term.
Public operatorStatic member LessThanOrEqual Tests whether one term is less than or equal to another term.
Public operatorStatic member LogicalNot Performs a Boolean negation operation on a term.
Public operatorStatic member Multiply Multiplies two terms.
Public operatorStatic member Subtraction Subtracts one term from another term.
Public operatorStatic member UnaryNegation Negates a term.

Top

See Also

Reference

Term Class

Microsoft.SolverFoundation.Services Namespace