Infer.NET Documentation
AllTrue Method (array)
Infer.NET code documentationMicrosoftResearch.Infer.ModelsVariableAllTrue(Variable<(Of <(IList<(Of <(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<IList<bool>> array
)
Public Shared Function AllTrue ( _
	array As Variable(Of IList(Of Boolean)) _
) As Variable(Of Boolean)
public:
static Variable<bool>^ AllTrue(
	Variable<IList<bool>^>^ array
)
Parameters
array (Variable<(Of <(IList<(Of <(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)