public class ForAllBuilder : RuleLeftElementBuilder
Thetype exposes the following members.
Builder for the base pattern of this forall element.
Pattern declarations visible by the element being built.(Inherited from RuleElementBuilder.)
Pattern builders for this forall element.
Creates a pattern builder that builds the base pattern of the forall element.
Allows an object to try to free resources and perform other cleanup operations before it is reclaimed by garbage collection.(Inherited from Object.)
Serves as a hash function for a particular type.(Inherited from Object.)
Gets the Type of the current instance.(Inherited from Object.)
Creates a shallow copy of the current Object.(Inherited from Object.)
Creates a pattern builder that builds a pattern of the forall element.
Returns a string that represents the current object.(Inherited from Object.)