Term Implicit Conversion (Boolean to Term)

Solver Foundation 3.0

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

Converts a Boolean to a term.

Namespace:  Microsoft.SolverFoundation.Services
Assembly:  Microsoft.Solver.Foundation (in Microsoft.Solver.Foundation.dll)

public static implicit operator Term (
	bool value


Type: System.Boolean
A Boolean value.

Return Value

Type: Microsoft.SolverFoundation.Services.Term
The Boolean value converted to a term.