Infer.NET Documentation
Constrain<(Of <(T1, T2, T3>)>) Method (constraint, arg1, arg2, arg3)
Infer.NET code documentationMicrosoftResearch.Infer.ModelsVariableConstrain<(Of <(T1, T2, T3>)>)(ConstrainMethod<(Of <(T1, T2, T3>)>), Variable<(Of <(T1>)>), Variable<(Of <(T2>)>), Variable<(Of <(T3>)>))
Microsoft Research, Cambridge
Applies a constraint using a constraint method with three arguments.
Declaration Syntax
C#Visual BasicVisual C++
public static void Constrain<T1, T2, T3>(
	ConstrainMethod<T1, T2, T3> constraint,
	Variable<T1> arg1,
	Variable<T2> arg2,
	Variable<T3> arg3
)
Public Shared Sub Constrain(Of T1, T2, T3) ( _
	constraint As ConstrainMethod(Of T1, T2, T3), _
	arg1 As Variable(Of T1), _
	arg2 As Variable(Of T2), _
	arg3 As Variable(Of T3) _
)
public:
generic<typename T1, typename T2, typename T3>
static void Constrain(
	ConstrainMethod<T1, T2, T3>^ constraint, 
	Variable<T1>^ arg1, 
	Variable<T2>^ arg2, 
	Variable<T3>^ arg3
)
Generic Template Parameters
T1
T2
T3
Parameters
constraint (ConstrainMethod<(Of <(T1, T2, T3>)>))
The method that represents the constraint
arg1 (Variable<(Of <(T1>)>))
First argument for the constraint
arg2 (Variable<(Of <(T2>)>))
Second argument for the constraint
arg3 (Variable<(Of <(T3>)>))
Third argument for the constraint
Return Value

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