ConstrainTrue Method (v)

Microsoft Research, Cambridge

Constrains a boolean variable to be true.

Declaration Syntax

Visual Basic

Visual C++

public static void ConstrainTrue(
	Variable<bool> v
)

Public Shared Sub ConstrainTrue ( _
	v As Variable(Of Boolean) _
)

public:
static void ConstrainTrue(
	Variable<bool>^ v
)

Parameters

Assembly: Infer.Compiler (Module: Infer.Compiler) Version: 2.3.41111.0 (2.3.41111.0)