Infer.NET Documentation
AllTrue Method (array)
Infer.NET code documentationMicrosoftResearch.Infer.ModelsVariableAllTrue(Variable<(Of <(array<Boolean>[]()[]>)>))
Microsoft Research, Cambridge
Returns a boolean variable which is true if all array elements are true. For AND of two variables, use the & operator.
Declaration Syntax
C#Visual BasicVisual C++
public static Variable<bool> AllTrue(
	Variable<bool[]> array
)
Public Shared Function AllTrue ( _
	array As Variable(Of Boolean()) _
) As Variable(Of Boolean)
public:
static Variable<bool>^ AllTrue(
	Variable<array<bool>^>^ array
)
Parameters
array (Variable<(Of <(array< Boolean >[]()[]>)>))
The array variable
Return Value
AND_i array[i]

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