Infer.NET Documentation
ConstrainEqual<(Of <(T>)>) Method (a, b)
Infer.NET code documentationMicrosoftResearch.Infer.ModelsVariableConstrainEqual<(Of <(T>)>)(T, Variable<(Of <(T>)>))
Microsoft Research, Cambridge
Constrains a variable to equal a constant value.
Declaration Syntax
C#Visual BasicVisual C++
public static void ConstrainEqual<T>(
	T a,
	Variable<T> b
)
Public Shared Sub ConstrainEqual(Of T) ( _
	a As T, _
	b As Variable(Of T) _
)
public:
generic<typename T>
static void ConstrainEqual(
	T a, 
	Variable<T>^ b
)
Generic Template Parameters
T
The type of the variable
Parameters
a (T)
The constant value
b (Variable<(Of <(T>)>))
The variable

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