Click or drag to resize
VariableAllTrue Method (VariableIListBoolean)
Microsoft Research
Returns a boolean variable which is true if all array elements are true. For AND of two variables, use the & operator.

Namespace: MicrosoftResearch.Infer.Models
Assembly: Infer.Compiler (in Infer.Compiler.dll) Version: 2.6.41128.1 (2.6.41128.1)
Syntax
public static Variable<bool> AllTrue(
	Variable<IList<bool>> array
)

Parameters

array
Type: MicrosoftResearch.Infer.ModelsVariableIListBoolean
The array variable

Return Value

Type: VariableBoolean
AND_i array[i]
See Also