Class: AnyQuantifier

AnyQuantifier(children, headeropt)

Represents an ANY quantifier. This quantifier asserts it is True iff at least one its children is True. This is an abstraction of the OR operator

Constructor

new AnyQuantifier(children, headeropt)

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