Class: AllQuantifier

AllQuantifier(children, headeropt)

Represents an ALL quantifier. This quantifier asserts it is True iff all its children is True. This is an abstraction of the AND operator.

Constructor

new AllQuantifier(children, headeropt)

Constructs an AllQuantifier
Parameters:
Name Type Attributes Default Description
children Array.<Circuit> Array of Circuit objects
header String <optional>
 ("" | "both" | "all of") Optional label of quantifier
Source: