ConstrainFalse Method (v)

Microsoft Research, Cambridge

Constrains a boolean variable to be false.

Declaration Syntax

Visual Basic

Visual C++

public static void ConstrainFalse(
	Variable<bool> v
)

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

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

Parameters

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