Term Implicit Conversion (Rational to Term)
[This documentation is for preview only, and is subject to change in later releases. Blank topics are included as placeholders.]
Converts a rational number to a term.
Namespace: Microsoft.SolverFoundation.Services
Assembly: Microsoft.Solver.Foundation (in Microsoft.Solver.Foundation.dll)
Syntax
'Declaration
Public Shared Widening Operator CType ( _
value As Rational _
) As Term
public static implicit operator Term (
Rational value
)
static implicit operator Term^ (
Rational value
)
F# does not support the declaration of new casting operators.
JScript does not support the declaration of new casting operators.
Parameters
- value
Type: Microsoft.SolverFoundation.Common.Rational
A rational value.
Return Value
Type: Microsoft.SolverFoundation.Services.Term
The rational value converted to a term.
.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.